text:
{R}. {K}andel},
  journal = {Artificial Intelligence},
  year = {2009},
  volume = {174},
  number = {2},
  pages = {140--142},
  xref = {Review of: kandel:2006a},
  topic = {cognitive-neuroscience;}
  }

@unpublished{ sierrasantibanez:1998a,
  author = {Josefina Sierra Santib\'a\~nez},
  title = {Declarative Formalization of Strategies for
  	Action Selection},
  year = {1998},
  note = {Unpublished manuscript, Computer Science Department,
  	Stanford University},
  rtnote = {In RHT collection.},
  topic = {heuristics;situation-calculus;circumscription;}
  }

@article{ sierrasantibanez:2001a,
  author = {Josefina Sierra-Santib\'a\~nez},
  title = {Heuristic Planning:  A Declarative Approach Based
  	on Strategies for Action},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {153},
  number = {5--6},
  pages = {307--337},
  contentnote = {Uses a declarative formalization of strategies
  	for selecting actions.},
  topic = {common-sense-reasoning;heuristics;common-sense-logicism;}
  }

@article{ siewart:2001a,
  author = {Charles Siewart},
  title = {Self-Knowledge and Phenomenal Unity},
  journal = {No\^us},
  year = {2001},
  volume = {35},
  number = {4},
  pages = {542--568},
  topic = {introspection;epistemology;}
  }

@incollection{ siewert:2003a,
  author = {Charles Siewert},
  title = {Consciousness and Intentionality},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  editor = {Edward N. Zalta},
  url = {http://plato.stanford.edu/archives/fall2003/entries/consciousness-intentionality/},
  rtnote = {In RHT collection.},
  year = {Fall 2003},
  topic = {consciousmess;intentionality;philosophy-of-mind;}
}

@article{ sigaghi-faltings:2005a,
  author = {Marius-C\v{a}lin Sigaghi and Boi Faltings},
  title = {Asynchronous Aggregation and Consistency in Distributed
  		Constraint Satisfaction},
  journal = {Artificial Intelligence},
  year = {2005},
  volume = {161},
  number = {1--2},
  pages = {25--63},
  topic = {constraint-satisfaction;distributed-processing;}
  }

@incollection{ sigman:1983a,
  author = {Stuart J. Sigman},
  title = {Some Multiple Constraints Placed on Conversational Topics},
  booktitle = {Conversational Coherence: Form, Structure and
  	Strategy},
  publisher = {Sage Publications},
  year = {1983},
  editor = {Robert T. Craig and Karen Tracey},
  pages = {174--195},
  address = {London},
  topic = {discourse-coherence;discourse-analysis;pragmatics;}
  }

@incollection{ sigurd:1991a,
  author = {Bengt Sigurd},
  title = {Referent Grammar in Text Generation},
  booktitle = {Natural Language Generation in Artificial Intelligence and
  	Computational Linguistics},
  publisher = {Kluwer Academic Publishers},
  address = {Dordrecht},
  year = {1991},
  editor = {C\'{e}cile L. Paris and William R. Swartout
  	and William C. Mann},
  pages = {315--327},
  topic = {nl-generation;referring-expressions;GPSG;}
  }

@article{ siklossy-roach:1975a,
  author = {L. Sikl\'ossy and J. Roach},
  title = {Model Verification and Improvement Using {DISPROVER}},
  journal = {Artificial Intelligence},
  year = {1975},
  volume = {6},
  number = {1},
  pages = {41--52},
  acontentnote = {Abstract:
     Confidence in the adequacy of a model is increased if tasks that
     are impossible in the world are shown to correspond to
     disprovable tasks in the model. DISPROVER has been used as a
     tool to test, in worlds of robots, the impossibility of tasks
     related to various conservation laws (objects, position, model
     consistency, etc.) and time constraints. The adequacy and
     sufficiency of operators can be established. Interacting with
     DISPROVER, the model designer can improve his axiomatization.
     The frontier between ``acceptable'' and ``ridiculous''
     axiomatizations is shown, in many examples, to be a most tenuous
     one.
   },
  topic = {cognitive-robotics;ability;}
  }

@inproceedings{ sikorski-allen_jf:1997a,
  author = {Teresa Sikorski and James Allen},
  title = {A Scheme for Annotating Problem Solving Actions in Dialogue},
  booktitle = {Working Notes: {AAAI} Fall Symposium on Communicative
		Action in Humans and Machines},
  year = {1997},
  pages = {83--89},
  organization = {{AAAI}},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  editor = {David R. Traum},
  rtnote = {In RHT collection.},
  topic = {speech-acts;discourse-planning;pragmatics;}
  }

@article{ silber-mccoy_kf:2002a,
  author = {H. Gregory Silber and Kathleen F. McCoy},
  title = {Efficiently Computed Lexical Chains as an Intermediate
  	Representation for Automatic Text Summarization},
  Journal = {Computational Linguistics},
  year = {2002},
  volume = {28},
  number = {4},
  pages = {487--496},
  topic = {text-summary;AI-algorithms;}
  }

@book{ silverman:1992a,
  author = {Barry G. Silverman},
  title = {Critiquing Human Error: A Knowledge Based Human-Computer
  	Collaboration Approach},
  publisher = {Academic Press},
  year = {1992},
  address = {London},
  ISBN = {0126437408},
  rtnote = {UMich Media Union Library, QA 76.9 .H85 S56 1992.},
  topic = {HCI;}
 }

@book{ silverman:1997a,
  editor = {David Silverman},
  title = {Qualitative Research: Theory, Method, and Practics},
  publisher = {Sage Publications},
  year = {1997},
  address = {Thousand Oaks, California},
  topic = {qualitative-methods;}
 }

@incollection{ silverstein:1976a,
  author = {Michael Silverstein},
  title = {Shifters, Linguistic Categories, and Cultural Description},
  booktitle = {Meaning in Anthropology},
  publisher = {University of New Mexico Press},
  year = {1976},
  editor = {K.H. Basso and H.A. Selby},
  pages = {11--55},
  address = {Alburqueque},
  topic = {ethnolinguistics;meaning-and-culture;}
  }

@unpublished{ silverstein:1979a,
  author = {Michael Silverstein},
  title = {Untitled Paper on Linguistic Relativity},
  year = {1979},
  note = {Unpublished manuscript, University of Chicago},
  rtnote = {In RHT collection.},
  topic = {linguistic-relativity;cultural-anthropology;
  	philosophy-of-anthropology;}
  }

@book{ silverstein-urban:1996a,
  editor = {Michael Silverstein and Greg Urban},
  title = {Natural Histories of Discourse},
  publisher = {University of Chicago Press},
  year = {1996},
  address = {Chicago},
  contentnote = {Essays dealing with the interpretation of texts from
  	other cultures.},
  rtnote = {HILLMAN P35 N38 1996},
  topic = {ethnolinguistics;meaning-and-culture;pragmatics;}
}

@incollection{ simaan:1998a,
  author = {Khalil Sima'an},
  title = {Explanation-Based Learning of Data-Oriented Parsing},
  booktitle = {{CoNLL97}: Computational Natural Language Learning},
  publisher = {Association for Computational Linguistics},
  year = {1998},
  editor = {T. Mark Ellison},
  pages = {107--116},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;parsing-algorithms;}
  }

@article{ simari-loui:1992a,
  author = {Guillermo R. Simari and Ronald P. Loui},
  title = {A Mathematical Treatment of Defeasible Reasoning and Its
  	Implementation},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {53},
  number = {2--3},
  pages = {125--157},
  topic = {nonmonotonic-reasoning;nonmonotonic-logic;
  	argument-based-defeasible-reasoning;specificity;}
  }

@article{ simchen:2001a,
  author = {Ori Simchen},
  title = {Rules and Mention},
  journal = {The Philosophical Quarterly},
  year = {2001},
  volume = {51},
  missinginfo = {number, pages},
  topic = {Achilles-and-the-tortoise;}
  }

@article{ simchen:2004a,
  author = {Ori Simchen},
  title = {On the Impossibility of Nonactual Epistemic Possibilities},
  journal = {The Journal of Philosophy},
  year = {2004},
  volume = {101},
  number = {110},
  pages = {527--554},
  topic = {necessary-truth;a-priori;}
  }

@article{ simchen:2006a,
  author = {Ori Simchen},
  title = {Actualist Essentialism and General Possibilities},
  journal = {The Journal of Philosophy},
  year = {2006},
  volume = {103},
  number = {1},
  pages = {5--26},
  topic = {essentialism;}
  }

@article{ simmons_k:1990a,
  author = {Keith Simmons},
  title = {The Diagonal Argument and the Liar},
  journal = {Journal of Philosophical Logic},
  year = {1990},
  volume = {19},
  number = {3},
  pages = {277--303},
  topic = {diagonalization-arguments;semantic-paradoxes;}
  }

@book{ simmons_k:1993a,
  author = {Keith Simmons},
  title = {Universality and the Liar: An Essay on Truth and the
  	Diagonal Argument},
  publisher = {Cambridge University Press},
  year = {2993},
  address = {Cambridge, England},
  ISBN = {0521430690},
  rtnote = {UMich Hatcher Graduate BC199.2 .S56 1993},
  topic = {truth;semantic-paradoxes;}
 }

@article{ simmons_k:1999a,
  author = {Keith Simmons},
  title = {Deflationary Truth and the {L}iar},
  journal = {Journal of Philosophical Logic},
  year = {1999},
  volume = {28},
  number = {5},
  pages = {455--488},
  topic = {semantic-paradoxes;truth;}
  }

@article{ simmons_k:2000a,
  author = {Keith Simmons},
  title = {Deflationary Truth and the Liar},
  journal = {Journal of Philosophical Logic},
  year = {2000},
  volume = {29},
  number = {5},
  pages = {455--488},
  topic = {disquotationalist-truth;semantic-paradoxes;}
  }

@article{ simmons_r1-slocum:1972a,
  author = {R. Simmons and Jonathan Slocum},
  title = {Generating {E}nglish Discourse From Semantic Networks},
  journal = {Communications of the Association for Computing Machinery},
  year = {1972},
  volume = {15},
  number = {10},
  pages = {891--905},
  missinginfo = {A's 1st name},
  topic = {nl-generation;pragmatics;}
}

@inproceedings{ simmons_r2:1986a1,
  author = {Reid G. Simmons},
  title = {\,`Commonsense' Arithmetic Reasoning},
  booktitle = {Proceedings of the Fifth National Conference on
              Artificial Intelligence},
  year = {1986},
  editor = {Tom Kehler and Stan Rosenschein},
  pages = {118--124},
  organization = {American Association for Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  xref = {Republication: simmons_r2:1986a2.},
  topic = {arithmetical-reasoning;qualitative-reasoning;}
  }

@incollection{ simmons_r2:1986a2,
  author = {Reid G. Simmons},
  title = {\,`Commonsense' Arithmetic Reasoning},
  booktitle = {Qualitative Reasoning about Physical Systems},
  publisher = {Morgan Kaufmann},
  year = {1990},
  editor = {Daniel S. Weld and Johan de Kleer},
  pages = {337--343},
  address = {San Mateo, California},
  xref = {Republication of: simmons_r2:1986a1.},
  topic = {arithmetical-reasoning;qualitative-reasoning;}
  }

@article{ simmons_r2:1992a,
  author = {Reid G. Simmons},
  title = {The Roles of Associational and Causal Reasoning in Problem
  	Solving},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {53},
  number = {1--2},
  pages = {159--207},
  contentnote = {Develops the "Generate, Test and Debug" paradigm of problem
  	solving.  Applications in planning and interpretation, geology
	domains.},
  acontentnote = {Abstract:
     Efficiency and robustness are two desirable, but often
     conflicting, characteristics of problem solvers.  This article
     describes the Generate, Test and Debug (GTD) paradigm, which
     combines associational and causal reasoning techniques to
     efficiently solve a wide range of problems.  GTD uses
     associational reasoning to generate initial hypotheses, and uses
     causal reasoning to test hypotheses and to debug faulty
     hypotheses, if necessary.  We contend that the characteristics of
     associational and causal reasoning differ mainly in the way they
     deal with interactions -- associational reasoning presumes
     independence; causal reasoning explicitly represents
     interactions.  This difference helps account for the strengths
     and weaknesses of the reasoning techniques, and indicates the
     problem-solving roles for which they are best suited.  The GTD
     paradigm has been implemented and tested in several planning and
     interpretation domains, with an emphasis on geologic
     interpretation.  },
  topic = {causal-reasoning;problem-solving;computer-assisted-science;
  	causality;problem-solving-archictectures;}
  }

@article{ simon_ha:1952a,
  author = {Herbert Simon},
  title = {On the Definition of the Causal Relation},
  journal = {The Journal of Philosophy},
  year = {1952},
  volume = {49},
  missinginfo = {number},
  pages = {517--528},
  rtnote = {Reviewed by Kemeney in JSL 21, 313-314.},
  topic = {causality;}
 }

@article{ simon_ha:1955a,
  author = {Herbert Simon},
  title = {A Behavioral Model of Rational Choice},
  journal = {Quarterly Journal of Economics},
  year = {1955},
  volume = {69},
  pages = {99--118},
  topic = {limited-rationality;decision-making;rationality;}
  }

@article{ simon_ha:1955b,
  author = {Herbert Simon},
  title = {Further Remarks on the Causal Relation},
  journal = {The Journal of Philosophy},
  year = {1955},
  volume = {52},
  missinginfo = {number},
  pages = {20--21},
  rtnote = {In RHT collection. Filed drawers.},
  topic = {causality;}
 }

@book{ simon_ha:1957a,
  author = {Herbert A. Simon},
  title = {Models of Man: Social and Rational},
  publisher = {Wiley},
  year = {1957},
  address = {New York},
  topic = {decision-theory;rationality;}
 }

@techreport{ simon_ha:1966a,
  author = {Herbert A. Simon},
  title = {On Reasoning about Action},
  institution = {Carnegie Institute of Technology},
  number = {Complex Information Processing Paper \#87},
  year = {1966},
  address = {Pittsburgh, Pennsylvania},
  xref = {Probably published as simon_ha:1972a.},
  topic = {foundations-of-planning;action;}
  }

@article{ simon_ha:1967a1,
  author = {Herbert Simon},
  title = {Motivational and Emotional Controls of Cognition},
  journal = {Psychological Review},
  year = {1967},
  volume = {74},
  number = {1},
  pages = {29--39},
  topic = {emotion;practical-reasoning;}
  }

@incollection{ simon_ha:1972a,
  author = {Herbert A. Simon},
  title = {On Reasoning about Actions},
  booktitle = {Representation and Meaning: Experiments with
        Information Processing Systems},
  publisher = {Prentice-Hall},
  year = {1972},
  editor = {Herbert A. Simon and L. Siklossy},
  pages = {414--430},
  address = {Englewood Cliffs, New Jersey},
  missinginfo = {E's 1st name.},
  topic = {foundations-of-planning;action;}
  }

@article{ simon_ha:1973a,
  author = {Herbert A. Simon},
  title = {The Structure of Ill Structured Problems},
  journal = {Artificial Intelligence},
  year = {1973},
  volume = {4},
  number = {3--4},
  pages = {181--201},
  acontentnote = {Abstract:
     The boundary between well structured and ill structured problems
     is vague, fluid and not susceptible to formalization.  Any
     problem solving process will appear ill structured if the
     problem solver is a serial machine that has access to a very
     large long-term memory of potentially relevant information,
     and/or access to a very large external memory that provides
     information about the actual real-world consequences of
     problem-solving actions.  There is no reason to suppose that new
     and hitherto unknown concepts or techniques are needed to enable
     artificial intelligence systems to operate successfully in
     domains that have these characteristics.  },
  topic = {problem-solving;}
  }

@book{ simon_ha:1977a,
  author = {Herbert A. Simon},
  title = {Models of Discovery},
  publisher = {D. Reidel Publishing Co.},
  year = {1977},
  address = {Dordrecht},
  topic = {foundations-of-economics;AI-classics;}
 }

@article{ simon_ha:1978a,
  author = {Herbert A. Simon},
  title = {Rationality as a Process and Product of Thought},
  journal = {American Economic Review},
  year = {1978},
  volume = {68},
  number = {1},
  pages = {1--16},
  topic = {decision-theory;rationality;}
  }

@book{ simon_ha:1982a,
  author = {Herbert A. Simon},
  title = {Models of Bounded Rationality, Volume 1},
  publisher = {The {MIT} Press},
  year = {1982},
  address = {Cambridge, Massachusetts},
  topic = {limited-rationality;}
 }

@book{ simon_ha:1982b,
  author = {Herbert A. Simon},
  title = {Models of Bounded Rationality, Volume 2},
  publisher = {The {MIT} Press},
  year = {1982},
  address = {Cambridge, Massachusetts},
  topic = {limited-rationality;}
 }

@article{ simon_ha:1983a,
  author = {Herbert A. Simon},
  title = {Search and Reasoning in Problem Solving},
  journal = {Artificial Intelligence},
  year = {1983},
  volume = {21},
  number = {1--2},
  pages = {7--29},
  topic = {search;problem-solving;}
  }

@book{ simon_ha:1983b,
  author = {Herbert A. Simon},
  title = {Reason in Human Affairs},
  publisher = {Stanford University Press},
  year = {1983},
  address = {Stanford, California},
  topic = {decision-theory;rationality;}
 }

@article{ simon_ha:1991a,
  author = {Herbert A. Simon},
  title = {Nonmonotonic Reasoning and Causation: Comment},
  journal = {Cognitive Science},
  year = {1991},
  volume = {15},
  pages = {293--300},
  rtnote = {In RHT collection.},
  topic = {nonmonotonic-reasoning;causality;}
  }

@article{ simon_ha:1993a,
  author = {Herbert A. Simon},
  title = {{A}llen {N}ewell: The Entry into Complex Information
  	Processing},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {59},
  number = {1--2},
  pages = {251--259},
  topic = {SOAR;cognitive-architectures;history-of-AI;}
  }

@incollection{ simon_ha:1995a1,
  author = {Herbert A. Simon},
  title = {Machine as Mind},
  booktitle = {Android Epistemology},
  publisher = {Cambridge University Press},
  year = {1995},
  editor = {Kenneth M. Ford and Clark Glymour and Patrick J. Hayes},
  pages = {23--40},
  address = {Cambridge, England},
  xref = {Republication: simon_ha:1995a2.},
  rtnote = {Reading notes on file.},
  topic = {philosophy-AI;foundations-of-cognitive-science;Turing-test;}
  }

@incollection{ simon_ha:1995a2,
  author = {Herbert A. Simon},
  title = {Machine as Mind},
  booktitle = {Machines and Thought: The Legacy of {A}lan {T}uring:
  	Volume {I}},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Peter J.R. Millican and A. Clark},
  pages = {81--102},
  address = {Oxford},
  xref = {Republication of: simon_ha:1995a1.},
  rtnote = {In RHT collection.  },
  topic = {philosophy-AI;foundations-of-cognitive-science;Turing-test;}
  }

@article{ simon_ha:1995b,
  author = {Herbert Simon},
  title = {Artificial Intelligence: an Empirical Science},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {77},
  number = {1},
  pages = {95--128},
  topic = {foundations-of-AI;}
  }

@incollection{ simon_ha:1996a,
  author = {Herbert A. Simon},
  title = {The Patterned Matter That is Mind},
  booktitle = {Mind Matters: A Tribute to {A}llen {N}ewell},
  publisher = {Lawrence Erlbaum Associates, Inc.},
  year = {1996},
  editor = {David M. Steier and Tom M. Mitchell},
  address = {Mahwah, New Jersey},
  pages = {407--431},
  topic = {cognitive-architectures;foundations-of-cognition;}
  }

@book{ simon_ha:1996b,
  author = {Herbert A. Simon},
  title = {The Sciences of the Artificial},
  publisher = {The {MIT} Press},
  year = {1996},
  edition = {3},
  address = {Cambridge, Massachusetts},
  xref = {Reviews:  stefik:1984a (2nd ed.).},
  topic = {AI-classics;foundations-of-cognitive-science;}
 }

@book{ simon_ha:1996c,
  author = {Herbert A. Simon},
  title = {Models of Bounded Rationality:  Empirically Grounded Economic
  	Reason},
  publisher = {The {MIT} Press},
  year = {1996},
  volume = {3},
  address = {Cambridge, Massachusetts},
  topic = {limited-rationality;}
 }

@article{ simon_ha-etal:1997a,
  author = {Herbert A. Simon and Ra\'ul E. Vald\'es-P\'erez and
  	Derek H. Sleeman},
  title = {Scientific Discovery and Simplicity of Method},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {91},
  number = {2},
  pages = {177--181},
  topic = {automated-scientific-discovery;}
  }

@article{ simon_ha-kadane:1975a,
  author = {Herbert A. Simon and Joseph B. Kadane},
  title = {Optimal Problem-Solving Search: All-Or-None Solutions},
  journal = {Artificial Intelligence},
  year = {1975},
  volume = {6},
  number = {3},
  pages = {235--247},
  topic = {problem-solving;search;}
  }

@incollection{ simon_ha-kaplan_ca:1989a,
  author = {Herbert A. Simon and Craig A. Kaplan},
  title = {Foundations of Cognitive Science},
  booktitle = {Foundations of Cognitive Science},
  publisher = {The {MIT} Press},
  year = {1989},
  editor = {Michael I. Posner},
  chapter = {1},
  pages = {1--47},
  address = {Cambridge, Massachusetts},
  topic = {foundations-of-cognitive-science;foundations-of-linguistics;}
  }

@article{ simon_ha-rescher:1966a,
  author = {Herbert A. Simon and Nicholas Rescher},
  title = {Cause and Counterfactual},
  journal = {Philosophy of Science},
  year = {1966},
  volume = {33},
  pages = {323--340},
  missinginfo = {number},
  topic = {causality;conditionals;}
  }

@book{ simon_m:1981a,
  author = {Michael A. Simon},
  title = {Understanding Human Action: Social Explanation and the
  	Vision of Social Science},
  publisher = {State University of New York Press},
  year = {1981},
  address = {Albany},
  rtnote = {In RHT collection.  Shelf},
  topic = {philosophy-of-action;philosophy-of-social-science;}
 }

@incollection{ simon_t:1996a,
  author = {Tony Simon},
  title = {Development Matters},
  booktitle = {Mind Matters: A Tribute to {A}llen {N}ewell},
  publisher = {Lawrence Erlbaum Associates, Inc.},
  year = {1996},
  editor = {David M. Steier and Tom M. Mitchell},
  address = {Mahwah, New Jersey},
  pages = {357--362},
  topic = {cognitive-architectures;automated-scientific-discovery;
  	SOAR;}
  }

@book{ simon_tw-scholes:1982a,
  editor = {Thomas W. Simon and Robert J. Scholes},
  title = {Language, Mind, and Brain},
  publisher = {Lawrence Erbaum Associates},
  year = {1982},
  address = {Hillsdale, N.J.},
  ISBN = {0898591538},
  topic = {psycholinguistics;cognitive-science;}
 }

@incollection{ simonet:1992a,
  author = {Genevi\'eve Simonet},
  title = {{RS} Theory: A Really Skeptical Theory of Inheritance with
  	Exceptions},
  booktitle = {{KR}'92. Principles of Knowledge Representation and
  	Reasoning: Proceedings of the Third International Conference},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Bernhard Nebel and Charles Rich and William Swartout},
  pages = {615--626},
  address = {San Mateo, California},
  topic = {inheritance-theory;}
  }

@article{ simonet:1996a,
  author = {Genevi\`eve Simonet},
  title = {On {S}andewall's Paper: Nonmonotonic Inference Rules for
  	Multiple Inheritance with Exceptions},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {86},
  number = {2},
  pages = {359--374},
  topic = {inheritance-theory;}
  }

@article{ simonet-ducournau:1994a,
  author = {Genevi\`eve Simonet and Roland Ducournau},
  title = {On Stein's Paper: Resolving Ambiguity in Nonmonotonic
  	Inheritance Nets},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {71},
  number = {1},
  pages = {183--193},
  topic = {inheritance-theory;}
  }

@incollection{ simons_gf:1998a,
  author = {Gary F. Simons},
  title = {The Nature of Linguistic Data and
		the Requirements of a Computing Environment
		for Linguistic Research},
  booktitle = {Using Computers in Linguistics: A Practical Guide},
  publisher = {Routledge},
  year = {1998},
  editor = {John Lawler and Aristar Dry},
  pages = {10--25},
  address = {London},
  topic = {linguistics-and-computation;
  	computational-field-linguistics;}
  }

@techreport{ simons_gf-etal:1989a,
  author = {Gary F. Simons and John V. Thomson and Steven J. DeRose},
  title = {Computing Environment for Linguistic, Literary, and
  	Anthropological Research},
  institution = {Summer Institute of Linguistics},
  year = {1989},
  address = {Dallas},
  rtnote = {In RHT collection.},
  topic = {computational-field-linguistics;}
  }

@incollection{ simons_gf-thomson_jv:1997a,
  author = {Gary F. Simons and John V. Thomson},
  title = {Multilingual Data Processing in the {CELLAR} Environment},
  booktitle = {Linguistic Databases},
  publisher = {{CSLI} Publications},
  year = {1997},
  editor = {John Nerbonne},
  pages = {203--234},
  address = {Stanford, California},
  topic = {corpus-linguistics;multilingual-corpora;}
  }

@article{ simons_m:1996a,
  author = {Mandy Simons},
  title = {Pronouns and Definite Descriptions: A Critique of
  	{W}ilson},
  journal = {The Journal of Philosophy},
  year = {1996},
  volume = {93},
  number = {8},
  pages = {408--420},
  topic = {philosophy-of-language;definite-descriptions;demonstratives;}
  }

@inproceedings{ simons_m:1996b,
  author = {Mandy Simons},
  title = {Disjunction and Anaphora},
  booktitle = {Proceedings from Semantics and Linguistic Theory {VI}},
  publisher = {Cornell University},
  year = {1996},
  editor = {Teresa Galloway and Justin Spence},
  pages = {245--260},
  address = {Ithaca, New York},
  topic = {nl-semantics;anaphora;disjunction;}
  }

@article{ simons_m:2001a,
  author = {Mandy Simons},
  title = {Disjunction and Alternativeness},
  journal = {Linguistics and Philosophy},
  year = {2001},
  volume = {24},
  number = {5},
  pages = {597--619},
  topic = {disjunction;alternatives;}
  }

@inproceedings{ simons_m:2001b,
  author = {Mandy Simons},
  title = {On the Conversational Basis of Some Presuppositions},
  booktitle = {Proceedings from Semantics and Linguistic Theory {XI}},
  publisher = {Cornell University},
  year = {2001},
  editor = {Rachel Hastings and Brendan Jackson and Zsofia Zvolenszky},
  pages = {431--448},
  address = {Ithaca, New York},
  topic = {nl-semantics;presupposition;pragmatics;}
  }

@article{ simons_m:2003a,
  author = {Mandy Simons},
  title = {Presupposition and Accommodation: Understanding the
  	{S}talnakerian Picture},
  journal = {Philosophical Studies},
  year = {2003},
  volume = {112},
  number = {3},
  pages = {251--278},
  rtnote = {In RHT collection.},
  topic = {presupposition;accommodation;pragmatics;}
  }

@article{ simons_m:2005a,
  author = {Mandy Simons},
  title = {Dividing Things Up:  The Semantics of \emph{or} and the
  	Modal/\emph{or} Interaction},
  journal = {Natural Language Semantics},
  year = {2005},
  volume = {13},
  number = {3},
  pages = {271--316},
  topic = {disjunction;nl-semantics;}
  }

@unpublished{ simons_m:2006a,
  author = {Mandy Simons},
  title = {Presupposition without Common Ground},
  year = {2006},
  note = {Unpublished manuscript, Carnegie Mellon University},
  rtnote = {In RHT collection.  File drawers.},
  topic = {presupposition;pragmatics;}
  }

@book{ simons_m-galloway:1995a,
  editor = {Mandy Simons and Teresa Galloway},
  title = {Proceedings from Semantics and Linguistic Theory {V}},
  publisher = {Cornell University},
  year = {1995},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {nl-semantics;}
 }

@article{ simons_p1-etal:2002a,
  author = {Patrik Simons and Ilkka Niemel\"a and TImo Soininen},
  title = {Extending and Implementing the Stable Model Semantics},
  journal = {Artificial Intelligence},
  year = {2002},
  volume = {138},
  number = {1--2},
  pages = {181--234},
  topic = {logic-programming;stable-models;}
  }

@book{ simons_p2:1987a,
  author = {Peter Simons},
  title = {Parts: A Study in Ontology},
  publisher = {Oxford University Press},
  year = {1987},
  address = {Oxford},
  topic = {mereology;}
 }

@article{ sims:1972a,
  author = {C. Sims},
  title = {Money, Income, and Causality},
  journal = {American Economic Review},
  year = {1972},
  volume = {62},
  pages = {540--552},
  missinginfo = {A's 1st name, number},
  topic = {econometrics;causality;}
  }

@book{ sinclair_a-etal:1978a,
  editor = {A. Sinclair and R.J. Jarvella and W.J.M. Levelt},
  title = {The Child's Conception of Language},
  publisher = {Springer-Verlag},
  year = {1978},
  address = {Berlin},
  ISBN = {0521651077 (hb)},
  rtnote = {UMich Graduate Library, P 158.4 .S881 1999.},
  topic = {folk-linguistics;developmental-psychology;}
 }

@book{ sinclair_jm-coulthard_m:1975a,
  author = {J.M. Sinclair and Malcolm Coulthard},
  title = {Towards an Analysis of Discourse: The {E}nglish Used by
  	Teachers and Pupils},
  publisher = {Oxford University Press},
  year = {1975},
  address = {Oxford},
  missinginfo = {A's 1st name.},
  contentnote = {This is cited by Levinson as an attempt at "Speech Act
  	Grammar.},
  topic = {discourse-analysis;speech-acts;pragmatics;}
 }

@inproceedings{ singh_m1:1991b,
  author = {Minindar Singh},
  title = {Intentions, Commitments and Rationality},
  booktitle = {Proceedings of the Thirteenth Annual Meeting of the Cognitive
  	Science Society},
  year = {1991},
  organization = {Cognitive Science Society},
  missinginfo = {Editor, address, pages, publisher},
  topic = {foundations-of-planning;commitment;}
  }

@book{ singh_m1:1994a,
  author = {Minindar Singh},
  title = {Multiagent Systems: A Theoretical Framework for Intentions,
  	Know-How, and Communications},
  publisher = {Springer Verlag},
  year = {1994},
  address = {Berlin},
  topic = {foundations-of-planning;epistemic-logic;}
 }

@article{ singh_m1-asher:1993a,
  author = {Minindar Singh and Nicholas Asher},
  title = {A Logic of Intentions and Beliefs},
  journal = {Journal of Philosophical Logic},
  year = {1993},
  volume = {22},
  number = {5},
  pages = {513--554},
  topic = {action-formalisms;intention;belief;}
  }

@article{ singh_m2:1998a,
  author = {Mona Singh},
  title = {On the Semantics of the Perfective Aspect},
  journal = {Natural Language Semantics},
  year = {1998},
  volume = {6},
  number = {2},
  pages = {171--199},
  topic = {perfective-aspect;tense-aspect;nl-semantics;}
  }

@inproceedings{ singh_m2-etal:1997a,
  author = {Mona Singh and James Barnett and Minidar P. Singh},
  title = {Enhancing Conversational Moves for Portable Dialogue Systems},
  booktitle = {Working Notes: {AAAI} Fall Symposium on Communicative
		Action in Humans and Machines},
  year = {1997},
  pages = {90--96},
  organization = {{AAAI}},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  editor = {David R. Traum},
  rtnote = {In RHT collection.},
  topic = {speech-acts;pragmatics;discourse;}
  }

@inproceedings{ singh_mp:1991a,
  author = {Munindar P. Singh},
  title = {A Logic of Situated Know-How},
  booktitle = {Proceedings of the Ninth National Conference on
              Artificial Intelligence},
  editor = {Thomas Dean and Kathy McKeown},
  year = {1991},
  pages = {343--348},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {action;}
  }

@incollection{ singh_mp:1999a,
  author = {Munidar P. Singh},
  title = {Know-How},
  booktitle = {Foundations of Rational Agency},
  publisher = {Kluwer Academic Publishers},
  year = {1999},
  editor = {Michael Wooldridge and Anand Rao},
  pages = {105--131},
  address = {Dordrecht},
  rtnote = {In RHT collection.  \my10},
  url = {http://www.csc.ncsu.edu/faculty/mpsingh/papers/mas/knowhow-foundations.ps.gz},
  contentnote = {This paper attempts to formalize know-how.},
  topic = {knowing-how;branching-time;}
  }

@inproceedings{ singh_n-etal:1995a,
  author = {Narinder Singh and Omar Tawakol and Michael
    		Genesereth},
  title = {A Name-Space Context Graph for
		Multi-Context, Multi-Agent Systems},
  booktitle = {Formalizing Context},
  year = {1995},
  editor = {Sa\v{s}a Buva\v{c}},
  pages = {79--84},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {context;multiagent-systems;}
  }

@article{ singh_r:2008a,
  author = {Rai Singh},
  title = {On the Interpretation of Disjunction: Asymmetric,
  		Incremental, and Eager for Inconsistency},
  journal = {Linguistics and Philosophy},
  year = {2008},
  volume = {31},
  number = {2},
  pages = {245--260},
  topic = {implicature;disjunction;alternatives;}
  }

@article{ singh_yp-roychowdhury:2001a,
  author = {Y.P. Singh and Pinaki RoyChowdhury},
  title = {Dynamic Tunneling Based Regularization in Feedforward
  	Neural Networks},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {131},
  number = {1--2},
  pages = {55--71},
  topic = {connectionist-models;machine-learning;}
  }

@article{ sinha-etal:1994a,
  author = {Chris Sinha and Lis A. Thorseng and Mariko Hayashi and
  	Kim Plunkett},
  title = {Comparative Spatial Semantics and Language Acquisition:
  	Evidence from {D}anish, {E}nglish, and {J}apanese},
  journal = {Journal of Semantics},
  year = {1994},
  volume = {11},
  number = {3},
  pages = {253--287},
  topic = {nl-semantics;language-processing;spatial-language;}
  }

@article{ sinnottarmstrong:1984a,
  author = {Walter Sinnott-Armstrong},
  title = {`{O}ught' Conversationally Implies `Can'},
  journal = {The Philosophical Review},
  year = {1984},
  volume = {93},
  number = {2},
  pages = {249--261},
  rtnote = {In RHT collection.},
  topic = {implicature;pragmatics;deontic-logic;}
  }

@article{ sinnottarmstrong:1985a,
  author = {Walter Sinnott-Armstrong},
  title = {A Solution to {F}orrester's Paradox of Gentle Murder},
  journal = {The Journal of Philosophy},
  year = {1985},
  volume = {82},
  number = {3},
  pages = {162--168},
  topic = {deontic-logic;}
  }

@book{ sinnottarmstrong:1988a,
  editor = {Walter Sinnott-Armstrong},
  title = {Modality, Morality, and Belief: Essays in Honor of {R}uth
  	{B}arcan {M}arcus},
  publisher = {Cambridge University Press},
  year = {1988},
  address = {Cambridge, England},
  ISBN = {0631157085},
  rtnote = {UMich GRADUATE LIBRARY, BJ1031 .S551 1988.},
  topic = {modal-logic;analytic-philosophy;}
 }

@book{ sinnottarmstrong:1988b,
  author = {Walter Sinnott-Armstrong},
  title = {Moral Dilemmas},
  publisher = {Basil Blackwell},
  year = {1988},
  address = {Oxford},
  ISBN = {0631157085},
  rtnote = {UMich GRADUATE LIBRARY, BJ1031 .S551 1988.},
  topic = {ethics;moral-conflict;}
 }

@incollection{ sinnottarmstrong-behnke:2000a,
  author = {Walter Sinnott-Armstrong and Stephen Behnke},
  title = {Responsibility in Cases of Multiple Personality Disorder},
  booktitle = {Philosophical Perspectives 14: Action and Freedom},
  publisher = {Blackwell Publishers},
  year = {2000},
  editor = {James E. Tomberlin},
  pages = {301--323},
  address = {Oxford},
  topic = {blameworthiness;multiple-personality-disorder;}
  }

@book{ sinnottarmstrong-timmons:1996a,
  editor = {Walter Sinnott-Armstrong and Mark Timmons},
  title = {Moral Knowledge?  New Readings In Moral Epistemology},
  publisher = {Oxford University Press},
  year = {1996},
  address = {Oxford},
  ISBN = {0195089898 (pbk.)},
  rtnote = {UMich GRADUATE LIBRARY, BJ 1012 .M6331 1996.},
  topic = {echics;epistemology;}
 }

@book{ sipser:1997a,
  author = {Michael Sipser},
  title = {Introduction to the Theory of Computation},
  publisher = {PWS Publishing Co.},
  year = {1997},
  address = {Boston, Massachusetts},
  ISBN = {0-534-944728-X},
  rtnote = {In RHT Collection.  CS General shelves.},
  topic = {automata-theory;finite-state-automata;computability;
  	context-free-grammars;complexity-theory;theoretical-cs-intro;}
 }

@incollection{ siren-etal:2006a,
  author = {Evren Siren and Bernardo Cueneca Grau and Bijan Parsia},
  title = {From Wine to Water: Optimizing Description Logic Reasoning
		for Nominals},
  booktitle = {{KR}2006: Proceedings, Tenth International Conference on
      Principles of  Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year = {2006},
  editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty},
  pages = {90--99},
  address = {Menlo Park, California},
  topic = {OWL;computational-ontology;optimization;}
  }

@inproceedings{ siskind:1990a,
  author = {Jeffrey Mark Siskind},
  title = {Acquiring Core Meanings of Words, Represented as
  	{J}ackendoff-Style Conceptual Structures, From Correlated
	Streams of Linguistic and Non-Linguistic Input},
  booktitle = {ACL90, Proceedings of the 28th Meeting of the
  	Association for Computational Linguistics},
  pages = {143--156},
  year = {1990},
  topic = {cognitive-semantics;machine-language-learning;}
  }

@phdthesis{ siskind:1992a,
  author = {Jeffrey Mark Siskind},
  title = {Naive Physics, Event Perception, Lexical Semantics, and
  	Language Acquisition},
  school = {Massachusets Institute of Technology},
  year = {1992},
  month = {January},
  note = {Technical Report {MIT} Artificial Intelligence Laboratory 1456.},
  topic = {machine-language-learning;computational-lexical-semantics;}
  }

@article{ siskind:2003a,
  author = {Jeffrey Mark Siskind},
  title = {Reconstructing Force-Dynamic Models from Video Sequences},
  journal = {Artificial Intelligence},
  year = {2003},
  volume = {151},
  number = {1--2},
  pages = {91--154},
  topic = {computer-vision;circumscription;perceptual-reasoning;}
  }

@techreport{ siskind-mcallester_da:1993a,
  author = {Jeffrey Mark Siskind and David Allen McAllester},
  title = {Screamer: A Portable Efficient Implementation of
  	Nondeterministic Common Lisp},
  institution = {University of Pennsylvania Institute for Research in
  	Cognitive Science},
  number = {IRCS-93-03},
  year = {1991},
  address = {Philadelphia, PA},
  topic = {lisp-tools;}
  }

@inproceedings{ siskind-mcallester_da:1993b,
  author = {Jeffrey Mark Siskind and David Allen McAllester},
  title = {Nondeterministic Lisp as a Substrate for Constraint Logic
  	Programming},
  booktitle = {Proceedings of the Eleventh National Conference on
              Artificial Intelligence},
  year = {1993},
  editor = {Richard Fikes and Wendy Lehnert},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  missinginfo = {pages},
  topic = {constraint-satisfaction;}
  }

@article{ sistla-clarke_em:1985a,
  author = {A.P. Sistla and E.M. Clarke},
  title = {The Complexity of Propositional Linear Temporal Logics},
  journal = {Journal of the {ACM}},
  year = {1985},
  volume = {32},
  number = {3},
  pages = {733--749},
  missinginfo = {A's 1st name},
  topic = {temporal-logic;algorithmic-complexity;}
  }

@article{ sjogren:2008a,
  author = {J\"orgen Sj\"orgren},
  title = {On Explicating the Concept \emph{{T}he Power of an
  		Arithmetical Theory}},
  journal = {Journal of Philosophical Logic},
  year = {2008},
  volume = {37},
  number = {2},
  pages = {183--202},
  topic = {complexity-of-theories;}
  }

@book{ skagesgestad:1981a,
  author = {Peter Skagesgestad},
  title = {The Road of Inquiry: {P}eirce's Pragmatic Realism},
  publisher = {Columbia University Press},
  year = {1981},
  address = {New York},
  rtnote = {In RHT collection.  History Philosophy Shelves.},
  topic = {Peirce;}
 }

@incollection{ skinner-luger:1992a,
  author = {James M. Skinner and George F. Luger},
  title = {An Architecture for Integrating Reasoning Paradigms},
  booktitle = {{KR}'92. Principles of Knowledge Representation and
  	Reasoning: Proceedings of the Third International Conference},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Bernhard Nebel and Charles Rich and William Swartout},
  pages = {753--761},
  address = {San Mateo, California},
  topic = {kr;hybrid-kr-architectures;}
  }

@book{ sklar:1995a,
  author = {Lawrence Sklar},
  title = {Physics and Chance: Philosophical Issues in the
  	Foundations of Statistical Mechanics},
  publisher = {Cambridge University Press},
  year = {1995},
  address = {Cambridge, England},
  topic = {philosophy-of-science;}
 }

@article{ sklar:2001a,
  author = {Lawrence Sklar},
  title = {Review of \emph{{E}xplaining Chaos}, by {P}eter {S}mith},
  journal = {The Philosophical Review},
  year = {2001},
  volume = {110},
  number = {2},
  pages = {289--290},
  xref = {Review of: smith_p:1998a},
  topic = {chaos-theory;philosophy-of-physics;}
  }

@article{ sklar:2007a,
  author = {Lawrence Sklar},
  title = {Dappled Theories in a Uniform World},
  journal = {Philosophy of Science},
  year = {2003},
  volume = {70},
  number = {2},
  pages = {424--441},
  topic = {philosophy-of-science;natural-laws;theory-reduction;}
  }

@article{ skow:2009a,
  author = {Bradford Skow},
  title = {Relativity and the Moving Spotlight},
  journal = {The Journal of Philosophy},
  year = {2009},
  volume = {106},
  number = {12},
  pages = {666--678},
  topic = {philosophy-of-time;relativity-theory;}
  }

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

@article{ skura:1996a,
  author = {Tomasz Skura},
  title = {A Lukasiewicz-Style Refutation System for the Modal Logic
  	{S4}},
  journal = {Journal of Philosophical Logic},
  year = {1996},
  volume = {24},
  number = {6},
  pages = {573--582},
  topic = {modal-logic;}
  }

@article{ skvortsov:1995a,
  author = {Dimitrij Skvortsov},
  title = {On the Predicate Logic of Finite Kripke Frames},
  journal = {Studia Logica},
  year = {1995},
  volume = {54},
  number = {1},
  pages = {79--88},
  topic = {arithmetic-hierarchy;}
  }

@article{ skvortsov:1997a,
  author = {Dmitrij Skvortsov},
  title = {Not Every `Tabular' Predicate Logic is Finitely
		Axiomatizable},
  journal = {Studia Logica},
  year = {1997},
  volume = {59},
  number = {3},
  pages = {387--396},
  topic = {finitely-axiomatizable-logics;}
  }

@article{ skvortsov:1998a,
  author = {David Skvortsov},
  title = {On Some {K}ripke Complete and {K}ripke Incomplete
  	Intermediate Predicate Logics},
  journal = {Studia Logica},
  year = {1998},
  volume = {61},
  number = {2},
  pages = {281--292},
  topic = {quantifying-in-modality;first-order-modal-logic;}
  }

@book{ skyrms:1966a,
  author = {Brian Skyrms},
  title = {Choice and Chance; An Introduction to Inductive Logic},
  publisher = {Dickenson Publishing Co.},
  year = {1966},
  address = {Belmont, California},
  rtnote = {In RHT collection.  PhilSci Shelves.},
  topic = {statistical-inference;induction;}
 }

@book{ skyrms:1980a,
  author = {Brian Skyrms},
  title = {Causal Necessity: A Pragmatic Investigation of the Necessity
      of Laws},
  publisher = {Yale University Press},
  year = {1980},
  address = {New Haven},
  rtnote = {In RHT collection.  LL Shelves.},
  contentnote = {According to McGee this contains a suggestion about
  	nonstandard probabilities and Popper probabilities.},
  topic = {causality;philosophy-of-science;primitive-conditional-probability;
  	nonstandard-probability;}
 }

@article{ skyrms:1982a,
  author = {Brian Skyrms},
  title = {Causal Decision Theory},
  journal = {The Journal of Philosophy},
  year = {1982},
  volume = {74},
  number = {11},
  pages = {695--711},
  topic = {causal-decision-theory;}
  }

@incollection{ skyrms:1984a,
  author = {Brian Skyrms},
  title = {Intensional Aspects of Self-Reference},
  booktitle = {Recent Essays on the Liar Paradox},
  publisher = {Oxford University Press},
  year = {1984},
  editor = {Robert L. Martin},
  pages = {119--131},
  address = {Oxford},
  rtnote = {Check this out.},
  topic = {self-reference;}
  }

@incollection{ skyrms:1984b,
  author = {Brian Skyrms},
  title = {{EPR}: Lessons for Metaphysics},
  booktitle = {Causation and Causal Theories},
  publisher = {University of Minnesota Press},
  year = {1984},
  editor = {Peter A. French and Theodore E. Uehling, Jr. and Howard
  	K. Wettstein},
  pages = {245--255},
  address = {Minneapolis},
  topic = {metaphysics;EPR;causality;}
  }

@article{ skyrms:1987a,
  author = {Brian Skyrms},
  title = {Updating, Supposing and {\sc Maxent}},
  journal = {Theory and Decision},
  year = {1987},
  volume = {22},
  pages = {225--226},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {belief-revision;world-entropy;}
  }

@incollection{ skyrms:1988a,
  author = {Brian Skyrms},
  title = {Deliberational Dynamics and The Foundations of
             {B}ayesian Game Theory},
  booktitle = {Philosophical Perspectives, Vol. 2: Epistemology},
  publisher = {Blackwell Publishers},
  year = {1988},
  editor = {James E. Tomberlin},
  pages = {345--367},
  address = {Oxford},
  topic = {game-theory;deliberation-kinematics;}
  }

@book{ skyrms:1990a,
  author = {Brian Skyrms},
  title = {The Dynamics of Rational Deliberation},
  publisher = {Harvard University Press},
  year = {1990},
  address = {Cambridge, Massachusetts},
  topic = {probability;belief-revision;}
 }

@inproceedings{ skyrms:1990b,
  author = {Brian Skyrms},
  title = {Dynamic Models of Deliberation and the Theory of Games},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
    Proceedings of the Third Conference ({TARK} 1990)},
  year = {1990},
  editor = {Rohit Parikh},
  pages = {185--200},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {game-theory;decision-theory;}
  }

@inproceedings{ skyrms:1992a,
  author = {Brian Skyrms},
  title = {Three Ways to Give a Probability Function a Memory},
  booktitle = {Testing Scientific Theories},
  publisher = {University of Minnesota Press},
  year = {1992},
  editor = {John Earman},
  pages = {157--161},
  address = {Minneapolis},
  rtnote = {Bas says this discusses adding reasons to propositions.},
  topic = {foundations-of-probability;}
  }

@article{ skyrms:1992b,
  author = {Brian Skyrms},
  title = {Chaos in Game Dynamics},
  journal = {Journal of Logic, Language, and Information},
  year = {1992},
  volume = {1},
  number = {2},
  pages = {111--130},
  topic = {game-theory;chaos-theory;}
  }

@incollection{ skyrms:1994a,
  author = {Brian Skyrms},
  title = {Adams Conditionals},
  booktitle = {Probability and Conditionals: Belief Revision and Rational
       Decision},
  publisher = {Cambridge University Press},
  year = {1994},
  pages = {13--26},
  editor = {Ellery Eells and Brian Skyrms},
  address = {Cambridge, England},
  topic = {probability;conditionals;}
  }

@article{ skyrms:1998a,
  author = {Brian Skyrms},
  title = {Subjunctive Conditionals and Revealed Preference},
  journal = {Philosophy of Science},
  year = {1998},
  volume = {65},
  number = {4},
  pages = {545--574},
  topic = {conditionals;decision-theory;foundations-of-game-theory;}
  }

@book{ skyrms-harper_wl:1988a,
  editor = {Brian Skyrms and William L. Harper},
  title = {Causation, Chance, and Credence},
  publisher = {Kluwer Academic Publishers},
  year = {1988},
  address = {Dordrecht},
  topic = {causality;probability;statistical-inference;}
 }

@incollection{ skyrms-vandreschraaf:1998a,
  author = {Brian Skyrms and Peter Vanderschraaf},
  title = {Game Theory},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 1:  Quantified Representation
		of Uncertainty and Imprecision},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Dov M. Gabbay and Philippe Smets},
  pages = {391--439},
  address = {Dordrecht},
  topic = {game-theory;}
  }

@inproceedings{ slade:1995a,
  author = {Stephen Slade},
  title = {A Realistic Model of Rationality},
  booktitle = {Working Papers of the {AAAI} Fall Symposium on
  	Rational Agency: Concepts, Theories, Models, and Applications},
  year = {1995},
  editor = {Michael Fehling},
  pages = {126--130},
  organization = {American Association for Artificial Intelligence},
  publisher = {American Association for Artificial Intelligence},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {limited-rationality;}
  }

@article{ slaney:1989a,
  author = {John Slaney},
  title = {Solution to a Problem of {O}no and {K}omori},
  journal = {Journal of Philosophical Logic},
  year = {1989},
  volume = {18},
  number = {1},
  pages = {103--111},
  topic = {proof-theory;}
  }

@article{ slaney-thiebaux:2001a,
  author = {John Slaney and Sylvie Thi\'ebaux},
  title = {Blocks World Revisited},
  journal = {Artificial Intelligence},
  year = {2001},
  volume = {125},
  number = {1--2},
  pages = {119--153},
  topic = {planning-algorithms;experimental-testing-of-kr-systems;}
  }

@article{ slater:2005a,
  author = {Hartley Slater},
  title = {Choice and Logic},
  journal = {Journal of Philosophical Logic},
  year = {2004},
  volume = {34},
  number = {2},
  pages = {207--216},
  topic = {semantic-paradoxes;}
  }

@article{ slater_bh:1995a,
  author = {B.H. Slater},
  title = {Paraconsistent Logics?},
  journal = {Journal of Philosophical Logic},
  year = {1995},
  volume = {24},
  number = {4},
  pages = {451--454},
  topic = {paraconsistency;}
  }

@article{ slater_bh:2000a,
  author = {B.H. Slater},
  title = {Quantifier/Variable-Binding},
  journal = {Linguistics and Philosophy},
  year = {1000},
  volume = {23},
  number = {3},
  pages = {309--321},
  topic = {anaphora;donkey-anaphora;}
  }

@article{ slater_bh:2005a,
  author = {Hartley Slater},
  title = {Choice and Logic},
  journal = {Journal of Philosophical Logic},
  year = {2004},
  volume = {34},
  number = {2},
  pages = {207--216},
  topic = {semantic-paradoxes;}
  }

@incollection{ slator_ba-wilks:1981a,
  author = {Brian A. Slator and Yorick Wilks},
  title = {{PREMO}: Parsing by
     		Conspicuous Lexical Consumption},
  booktitle = {Current Issues in Parsing Technology},
  publisher = {Kluwer Academic Publishers},
  year = {1981},
  editor = {Masaru Tomita},
  pages = {85--102},
  address = {Dordrecht},
  topic = {parsing-algorithms;semantics-in-parsing;}
  }

@incollection{ slator_bn:1992a,
  author = {Brian N. Slator},
  title = {Sense and Preference},
  booktitle = {Semantic Networks in Artificial Intelligence},
  publisher = {Pergamon Press},
  year = {1992},
  editor = {Fritz Lehmann},
  pages = {391--402},
  address = {Oxford},
  topic = {kr;semantic-networks;computational-lexical-semantics;
  	word-sense;lexical-disambiguation;kr-course;}
  }

@book{ sleeman-brown_jh:1982a,
  editor = {Derek H. Sleeman and John Seely Brown},
  title = {Intelligent Tutoring Systems},
  publisher = {Academic Press},
  year = {1982},
  address = {New York},
  ISBN = {0126486808},
  rtnote = {UMich Graduate Library, LB1028.5 .I551 1982},
  topic = {intelligent-tutoring;}
 }

@article{ sleeman-smith_mj:1981a,
  author = {D.H. Sleeman and M.J. Smith},
  title = {Modelling Student's Problem Solving},
  journal = {Artificial Intelligence},
  year = {1981},
  volume = {16},
  number = {2},
  pages = {171--188},
  acontentnote = {Abstract:
     The task of modelling a student's problem solving is
     intrinsically one of induction.  In this paper, a further
     instance of induction formulated as a search is reported.  A
     formulation of this search problem which `contains' the
     Combinatorics is discussed at some length; and several
     heuristics which further reduce the size of the space defined by
     the domain's rules and mal-rules are presented.
      The Production Rule representation of (some) arithmetic
     operators is given, and the behaviour of generated models with
     examples is included.  The paper concludes with a review of the
     basic assumptions made by the Modelling System, LMS, and
     suggestions for some extensions.  },
  topic = {problem-solving;cognitive-modeling;}
  }

@incollection{ slobin:1971a,
  author = {Dan I. Slobin},
  title = {Developmental Psycholinguistics},
  booktitle = {A Survey of Linguistic Science},
  publisher = {Privately Published, Linguistics Program, University of
		Maryland.},
  year = {1971},
  editor = {William Orr Dingwall},
  pages = {297--410},
  address = {College Park, Maryland},
  topic = {psycholinguistics;L1-language-learning;}
  }

@incollection{ slocum:1978a,
  author = {Jonathan Slocum},
  title = {Generating a Verbal Response},
  booktitle = {Understanding Spoken Language},
  publisher = {North-Holland},
  year = {1978},
  editor = {Donald E. Walker},
  pages = {375--381},
  address = {Amsterdam},
  topic = {nl-generation;computational-dialogue;}
  }

@article{ sloman:1971a,
  author = {Aaron Sloman},
  title = {Interactions between Philosophy and Artificial
  	Intelligence: The Role of Intuition and Non-Logical Reasoning in
	Intelligence},
  journal = {Artificial Intelligence},
  year = {1971},
  volume = {2},
  number = {3--4},
  pages = {209--225},
  topic = {philosophy-AI;foundations-of-AI;}
  }

@incollection{ sloman:1984a,
  author = {Aaron Sloman},
  title = {The Structure of the Space of Possible Minds},
  booktitle = {The Mind and the Machine: Philosophical Aspects
  	of Artificial Intelligence},
  publisher = {Ellis Horwood, Ltd.},
  year = {1984},
  editor = {Steve B. Torrance},
  pages = {35--42},
  address = {Chichester},
  topic = {philosophy-and-AI;philosophy-of-mind;}
  }

@inproceedings{ sloman:1985a,
  author = {Aaron Sloman},
  title = {What Enables a Machine to Understand?},
  booktitle = {Proceedings 9th International Joint Conference on AI},
  year = {1985},
  pages = {995--1001},
  topic = {philosophy-AI;}
  }

@incollection{ sloman:1985b,
  author = {Aaron Sloman},
  title = {Why We Need Many Knowledge Representations},
  booktitle = {Research and Development in Expert Systems},
  publisher = {Cambridge University Press},
  year = {1985},
  editor = {Max Bramer},
  pages = {163--183},
  address = {Cambridge, England},
  rtnote = {Cited in hirst_g-ryan:1992a.},
  rtnote = {In RHT collection.},
  topic = {kr;foundations-of-kr;kr-course;}
  }

@article{ sloman:1989a,
  author = {Aaron Sloman},
  title = {On Designing a Visual System (Towards a {G}ibsonian Computational
 	Model of Vision)},
  journal = {Journal of Experimental and Theoretical {AI}},
  year = {1989},
  volume = {1},
  number = {4},
  pages = {289--337},
  topic = {computer-vision;philosophy-AI;}
 }

@article{ sloman:1992a,
  author = {Aaron Sloman},
  title = {The Emperor's Real Mind: Review of {R}oger {P}enrose's
  	`The Emperor's New Mind: Concerning Computers, Minds and the
	Laws of Physics'},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {56},
  number = {2--3},
  pages = {356--396},
  xref = {Review of penrose:1989a.},
  topic = {foundations-of-cognition;goedels-first-theorem;
  	goedels-second-theorem;philosophy-of-computation;}
  }

@inproceedings{ sloman:1994a,
  author = {Aaron Sloman},
  title = {Explorations in Design Space},
  booktitle = {Proceedings 11th European Conference on {AI}},
  year = {1994},
  topic = {philosophy-AI;}
  }

@article{ sloman:1994b,
  author = {Aaron Sloman},
  title = {Semantics in an Intelligent Control System},
  journal = {Philosophical Transactions of the Royal Society, Series A:
  	Physical Sciences and Engineering},
  year = {1994},
  volume = {349},
  number = {1689},
  pages = {3--57},
  note = {Available at http://www.jstor.org/journals/09628428.html},
  topic = {cognitive-architectures;foundations-of-AI;}
  }

@inproceedings{ sloman:1995a,
  author = {Aaron Sloman},
  title = {Exploring Design Space and Niche Space},
  booktitle = {In Proceedings 5th Scandinavian Conference on AI},
  year = {1995},
  publisher = {IOS Press},
  address = {Amsterdam},
  topic = {philosophy-AI;}
  }

@inproceedings{ sloman:1995b,
  author = {Aaron Sloman},
  title = {A Philosophical Encounter},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Chris Mellish},
  pages = {2037--2000},
  publisher = {Morgan Kaufmann},
  address = {San Francisco},
  rtnote = {In RHT collection.  Filed with philosophy-AI course.},
  topic = {philosophy-AI;}
  }

@incollection{ sloman:1995c,
  author = {Aaron Sloman},
  title = {Introduction (To Part {I}: Foundations},
  booktitle = {Diagrammatic Reasoning},
  publisher = {The {MIT} Press},
  year = {1995},
  editor =  {Janice Glasgow and N. Hari Narayanan and B.
		Chandrasekaran},
  pages = {3--6},
  address = {Cambridge, Massachusetts},
  topic = {diagrams;reasoning-with-diagrams;visual-reasoning;}
  }

@incollection{ sloman:1995d,
  author = {Aaron Sloman},
  title = {Musings on the Roles of Logical and Non-Logical
  	Representations in Intelligence},
  booktitle = {Diagrammatic Reasoning},
  publisher = {The {MIT} Press},
  year = {1995},
  editor =  {Janice Glasgow and N. Hari Narayanan and B.
		Chandrasekaran},
  pages = {7--32},
  address = {Cambridge, Massachusetts},
  xref = {Reublication: funt:1980a2.},
  topic = {diagrams;reasoning-with-diagrams;visual-reasoning;}
  }

@incollection{ sloman:1996a,
  author = {Aaron Sloman},
  title = {Actual Possibilities},
  booktitle = {{KR}'96: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro},
  pages = {627--638},
  address = {San Francisco, California},
  topic = {kr;foundations-of-modal-logic;causality;kr-course;}
  }

@incollection{ sloman:1996b,
  author = {Aaron Sloman},
  title = {Beyond {T}uring Equivalence},
  booktitle = {Machines and Thought: The Legacy of {A}lan {T}uring:
  	Volume {I}},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Peter J.R. Millican and A. Clark},
  pages = {179--219},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {Turing-test;philosophy-of-computation;}
  }

@incollection{ sloman:1999a,
  author = {Aaron Sloman},
  title = {What Sort of Architecture is Required for a
    		Human-like Agent?},
  booktitle = {Foundations of Rational Agency},
  publisher = {Kluwer Academic Publishers},
  year = {1999},
  editor = {Michael Wooldridge and Anand Rao},
  pages = {35--51},
  url = {http://cogprints.org/700/2/Sloman.what.arch.ps},
  rtnote = {In RHT collection.  \my10},
  address = {Dordrecht},
  topic = {cognitive-architectures;foundations-of-AI;}
  }

@article{ sloman:2008a,
  author = {Aaron Sloman},
  title = {The Well-Designed Young Mathematician},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {18},
  pages = {2015--2034},
  topic = {foundations-of-AI;}
  }

@inproceedings{ sloman-croucher:1981a,
  author = {Aaron Sloman and M. Croucher},
  title = {Why Robots Will Have Emotions},
  booktitle = {Proceedings of the Seventh International Joint
  	Conference on Artificial Intelligence},
  year = {1981},
  publisher = {Morgan Kaufmann},
  address = {Los Altos, California},
  topic = {philosophy-AI;synthesized-emotion;}
  }

@article{ slote:1966a,
  author = {Michael Slote},
  title = {The Theory of Important Criteria},
  journal = {The Journal of Philosophy},
  year = {1966},
  volume = {63},
  pages = {211--224},
  topic = {definitions;cluster-concepts;}
  }

@article{ slote:1978a,
  author = {Michael Slote},
  title = {Time in Counterfactuals},
  journal = {Philosophical Review},
  year = {1978},
  volume = {7},
  number = {1},
  pages = {3--27},
  rtnote = {tmix-proiject;},
  topic = {conditionals;causality;temporal-logic;}
  }

@incollection{ slote:1979a,
  author = {Michael A. Slote},
  title = {Causality and the Concept of a `Thing'\,},
  booktitle = {Midwest Studies in Philosophy Volume {V}:
  	Studies in Metaphysics},
  publisher = {University of Minnesota Press},
  year = {1979},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {387--400},
  address = {Minneapolis},
  topic = {causality;individuation;philosophical-ontology;}
  }

@article{ slote:1980a,
  author = {Michael A. Slote},
  title = {Understanding Free Will},
  journal = {The Journal of Philosophy},
  year = {1980},
  volume = {77},
  number = {3},
  pages = {136--151},
  topic = {freedom;}
  }

@book{ slote:1989a,
  author = {Michael Slote},
  title = {Beyond Optimizing: {A} Study of Rational Choice},
  publisher = {Harvard University Press},
  address = {Cambridge, Massachusetts},
  year = {1989},
  topic = {rationality;practical-reasoning;decision-making;}
    }

@article{ sluga:2002a,
  author = {Hans Sluga},
  title = {Review of \emph{{A} Parting of the Ways: {C}arnap,
  	{C}assirer, and {H}eidegger}, by {M}ichael {F}riedman},
  journal = {The Journal of Philosophy},
  year = {2002},
  volume = {99},
  number = {1},
  pages = {601--611},
  topic = {history-of-philosophy;analytic-philosophy;
  	continental-philosophy;Carnap;Heidegger;}
  }

@incollection{ smaby:1978a,
  author = {Richard M. Smaby},
  title = {Ambiguous Coreference with Quantifiers},
  booktitle = {Formal Semantics and Pragmatics for Natural Languages},
  publisher = {D. Reidel Publishing Co.},
  year = {1978},
  editor = {Franz Guenthner and S.J. Schmidt},
  pages = {37--75},
  address = {Dordrecht},
  topic = {nl-semantics;anaphora;}
  }

@article{ smadja-mckeown:1991a,
  author = {Frank Smadja and Kathleen McKeown},
  title = {Using Collocations for Language Generation},
  pages = {229--239},
  journal = {Computational Intelligence},
  volume = {7},
  number = {4},
  year = {1991},
  topic = {collocations;nl-generation;}
  }

@book{ small-etal:1988a,
  editor = {Steven L. Small and Garrison W. Cottrell and Michael K.
  	Tannenhaus},
  title = {Lexical Ambiguity Resolution: Perspectives from
  	Psycholinguistics, Neuropsychology, and Artificial Intelligence},
  publisher = {Morgan Kaufmann},
  year = {1988},
  address = {San Mateo, California},
  topic = {lexical-disambiguation;}
 }

@book{ smart:1961a,
  author = {J. J. C. Smart},
  title = {An Outline of a System of Utilitarian Ethics},
  publisher = {Melbourne University Press},
  year = {1961},
  topic = {utilitarianism;}
    }

@book{ smart:1963a,
  author = {J.C.C. Smart},
  title = {Philosophy and Scientific Realism},
  publisher = {Humanities Press},
  year = {1963},
  address = {New York},
  topic = {philosophocal-realism;}
 }

@article{ smart:1974a,
  author = {J.C.C. Smart},
  title = {Review of \emph{{C}ounterfactuals}, by David K. Lewis},
  journal = {Australasian Journal of Philosophy},
  year = {1974},
  volume = {52},
  number = {2},
  pages = {174--177},
  xref = {Review of lewis_dk:1973a.},
  topic = {conditionals;}
  }

@book{ smedslund:1997a,
  author = {Jan Smedslund},
  title = {The Structure of Psychological Common Sense},
  publisher = {Lawrence Erlbaum Associates},
  year = {1997},
  address = {Mahwah, New Jersey},
  topic = {common-sense-reasoning;cognitive-psychology;}
 }

@article{ smessaert:1996a,
  author = {Hans Smessaert},
  title = {Monotonicity Properties of Comparative Determiners},
  journal = {Linguistics and Philosophy},
  year = {1996},
  volume = {19},
  number = {3},
  pages = {295--336},
  topic = {comparative-constructions;}
  }

@article{ smessaert-meulen:2004a,
  author = {Hans Smessaert and Alice ter Meulen},
  title = {Temporal Reasoning with Aspectial Adverbs},
  journal = {Linguistics and Philosophy},
  year = {2004},
  volume = {27},
  number = {2},
  pages = {209--261},
  topic = {tense-aspect;nl-semantics;}
  }

@article{ smets:1997a,
  author = {Philippe Smets},
  title = {The Normative Representation of Quantified Beliefs by
  	Belief Functions},
  journal = {Artificial Intelligence},
  year = {1997},
  volume = {92},
  number = {1--2},
  pages = {229--242},
  topic = {agent-attitudes;qualitative-probability;probability;belief;}
  }

@incollection{ smets:1998a,
  author = {Philippe Smets},
  title = {Numerical Representation of Uncertainty},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 3:  Belief Change},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Didier Dubois and Henri Prade},
  pages = {265--309},
  address = {Dordrecht},
  topic = {belief-revision;}
  }

@incollection{ smets:1998b,
  author = {Philippe Smets},
  title = {The Transferrable Belief Model for
              Quantified Belief Representation},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 1:  Quantified Representation
		Uncertainty and Imprecision},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Philippe Smets},
  pages = {267--301},
  address = {Dordrecht},
  topic = {reasoning-about-uncertainty;statistical-inference;
		probability;belief;Dempster-Shafer-theory;}
  }

@incollection{ smets:1998c,
  author = {Philippe Smets},
  title = {Probability, Possibility, Belief:  Which
    		and Where},
  booktitle = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems, Volume 1:  Quantified Representation
		of Uncertainty and Impression},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  editor = {Philippe Smets},
  pages = {1--24},
  address = {Dordrecht},
  topic = {reasoning-about-uncertainty;}
  }

@book{ smets:1998d,
  editor = {Philippe Smets},
  title = {Handbook of Defeasible Reasoning and Uncertainty
		Management Systems:  Quantified Representation
		of Uncertainty and Imprecision},
  publisher = {Kluwer Academic Publishers},
  year = {1998},
  volume = {1},
  address = {Dordrecht},
  contentsnote = {TC:
    1. Philippe Smets, "Probability, Possibility, Belief:  Which
    		and Where", pp. 1--24
    2. Giovanni Panti, "Multi-Valued Logics", pp. 25--74
    3. Vil\'em Nov\'ak, "Fuzzy Logic", pp. 75--109
    4. Colin Howson, "The {B}ayesian Approach", pp. 111--134
    5. Donald Gillies, "Confirmation Theory", pp. 135--167
    6. Didier Dubois and Henri Prade, "Possibility Theory:
              Qualitative and Quantitative Aspects", pp. 169--226
    7. Henry E. Kyburg, Jr., "Families of Probabilities", pp. 227--245
    8. Nils-Eric Sahlin and Wlodek Rabinowicz, "The Evidentiary Value
              Model", pp. 247--265
    9. Philippe Smets, "The Transferrable Belief Model for
              Quantified Belief Representation", pp. 267--301
   10. Salem Benferhat, "Infinitesimal Theories of Uncertainty for Plausible
		Reasoning", pp. 303--356
   11. Anthony W.F. Edwards, "Statistical Inference", pp. 357--366
   12. Judea Pearl, "Graphical Models for Probabilistic and Causal
                Reasoning", pp. 367--389
   13. Brian Skyrms and Peter Vanderschraaf, "Game Theory", pp.
                391--439
   14. Gerd Gigerenzer, "Psychological Challenges for Normative
                Models", pp. 441--467},
  topic = {reasoning-about-uncertainty;}
 }

@incollection{ smets-etal:1991a,
  author = {Philippe Smets and Y.-T. Hsia and A. Saffiotti and R. Kennes and
  	H. Xu and E. Umkehrer},
  title = {The Transferable Belief Model},
  booktitle = {Symbolic and Quantitative Approaches for Uncertainty:
  	Proceedings of the {E}uropean Conference {ECSQAU}, Marseille,
	France, October 1991},
  publisher = {Springer-Verlag},
  year = {1991},
  editor = {Rudolf Kruse and Pierre Siegel},
  pages = {91--96},
  address = {Berlin},
  topic = {reasoning-about-uncertainty;probability;}
  }

@article{ smets-kennes:1994a,
  author = {Philippe Smets and Robert Kennes},
  title = {The Transferable Belief Model},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {66},
  number = {2},
  pages = {191--234},
  acontentnote = {Abstract:
     We describe the transferable belief model, a model for
     representing quantified beliefs based on belief functions.
     Beliefs can be held at two levels: (1) a credal level where
     beliefs are entertained and quantified by belief functions, (2)
     a pignistic level where beliefs can be used to make decisions
     and are quantified by probability functions.  The relation
     between the belief function and the probability function when
     decisions must be made is derived and justified.  Four paradigms
     are analyzed in order to compare Bayesian, upper and lower
     probability, and the transferable belief approaches.
  },
  topic = {probability;probabilistic-reasoning;}
  }

@article{ smilansky:2001a,
  author = {Saul Smilansky},
  title = {Free Will: From Nature to Illusion},
  journal = {Proceedings of the {A}ristotelian {S}ociety},
  year = {2001},
  volume = {101},
  pages = {71--95},
  rtnote = {Reading notes on file.},
  url = {http://philo.haifa.ac.il/faculty_pages/smilansky/FW%20Nature%20to%20Illusion.pdf},
  rtnote = {In RHT collection.},
  topic = {freedom;volition;}
  }

@book{ smilansky:2002a,
  author = {Saul Smilansky},
  title = {Free Will and Illusion},
  publisher = {Oxford University Press},
  year = {2002},
  address = {Oxford},
  topic = {freedom;volition;}
 }

@article{ smiley:1960a,
  author = {Timothy J. Smiley},
  title = {Sense without Denotation?},
  journal = {Analysis},
  year = {1960},
  volume = {20},
  pages = {124--134},
  rtnote = {In RHT collection.},
  topic = {logic-of-sense-and-denotation;}
  }

@article{ smiley:1973a,
  author = {Timothy J. Smiley},
  title = {What is a Syllogism?},
  journal = {Journal of Philosophical Logic},
  year = {1973},
  volume = {2},
  number = {1},
  pages = {136--154},
  topic = {syllogistic;}
  }

@book{ smiley:1998a,
  editor = {Timothy Smiley},
  title = {Philosophical Logic},
  publisher = {Oxford University Press},
  year = {1998},
  address = {Oxford},
  ISBN = {0197261825},
  rtnote = {UMich Graduate Library, 805 L85 B85p v.95.},
  xref = {Review: mares:2001a.},
  topic = {philosophical-logic;philosophy-of-language;}
 }

@incollection{ smirnov_a-etal:2005a,
  author = {Alexander Smirnov and Michael Pashkin and Nikolai Chilov
  	and Tatania Levashova},
  title = {Operational Decision Support:  Context-Based Approach
  	and Technological Framework},
  booktitle = {Modeling and Using Context: 5th International and
  	Interdisciplinary Conference},
  publisher = {Springer-Verlag},
  year = {2005},
  editor = {Anind Dey and Boicho Kokinov and David Leake and Roy Turner},
  pages = {476--489},
  address = {Berlin},
  topic = {context;decision-support;}
  }

@incollection{ smirnov_va:1994a,
  author = {V.A. Smirnov},
  title = {The World of Modal Operators by Means of
      		Tense Operators},
  booktitle = {Intensional Logic:  Theory and Applications},
  publisher = {The Philosophical Society of Finland},
  year = {1994},
  editor = {Ilkka Niiniluoto and Esa Saarinen},
  pages = {50--69},
  address = {Helsinki},
  topic = {temporal-logic;modal-logic;}
  }

@incollection{ smirnov_yv-veloso_mm:1996a,
  author = {Yury V. Smirnov and Manuela M. Veloso},
  title = {Representation Changes in Combinatorial Problems:
  	Pigeonhole Principle Versus Integer Programming Relaxation},
  booktitle = {{KR}'96: Principles of Knowledge Representation and
  	Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1996},
  editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro},
  pages = {124--134},
  address = {San Francisco, California},
  topic = {planning;search;relaxation-methods;}
  }

@inproceedings{ smith_a-etal:2005a,
  author = {Andrew Smith  and Trevor Cohn and Miles Osborne},
  title = {Logarithmic Opinion Pools for Conditional Random Fields},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {18--25},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1003},
  topic = {machine-learning;overfitting;}
  }

@article{ smith_b:1984a,
  author = {Barry Smith},
  title = {Ten Conditions on a Theory of Speech Acts},
  journal = {Theoretical Linguistics},
  year = {1978},
  volume = {11},
  number = {3},
  pages = {311--330},
  topic = {speech-acts;pragmatics;}
  }

@incollection{ smith_b:1995a,
  author = {Barry Smith},
  title = {Frege and {C}homsky: Sense and Psychologism},
  booktitle = {Frege, Sense and Reference One Hundred Years Later},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {John I. Biro and Petr Kotatko},
  pages = {25--46},
  address = {Dordrecht},
  rtnote = {In RHT collection.},
  topic = {Frege;foundations-of-semantics;nl-semantics-and-cognition;
  	philosophy-of-linguistics;}
  }

@incollection{ smith_b-varzi:1999a,
  author = {Barry Smith and Achille C. Varzi},
  title = {The Formal Structure of Ecological Contexts},
  booktitle = {Modeling and Using Contexts: Proceedings of
	the Second International and Interdisciplinary
	Conference, {CONTEXT}'99},
  publisher = {Springer-Verlag},
  year = {1999},
  editor = {Paolo Bouquet and Luigi Serafini and Patrick
	Br\'ezillon	and Massimo Benerecetti and Francesca
	Castellani},
  pages = {339--351},
  address = {Berlin},
  topic = {context;}
  }

@phdthesis{ smith_bc:1982a,
  author = {Brian C. Smith},
  title = {Reflection and Semantics in a Procedural Language},
  school = {Department of Electrical Engineering and Computer Science,
		Massachusetts Institute of Technology},
  year = {1982},
  type = {Ph.{D}. Dissertation},
  address = {Cambridge, Massachusetts},
  rtnote = {Front matter in RHT collection.},
  topic = {self-reference;programming-languages;}
 }

@techreport{ smith_bc:1984a1,
  author = {Brian C. Smith},
  title = {Reflection and Semantics in {LISP}},
  institution = {Xerox Palto Alto Research Center},
  number = {P84-00030},
  year = {1984},
  address = {Palo Alto},
  rtnote = {In RHT collection.},
  xref = {Republication: smith_bc:1984a2.},
  topic = {self-reference;programming-languages;}
  }

@techreport{ smith_bc:1984a2,
  author = {Brian C. Smith},
  title = {Reflection and Semantics in {LISP}},
  institution = {Center for the Study of Language and Information},
  number = {CSLI-84-8},
  year = {1984},
  address = {Palo Alto},
  rtnote = {In RHT collection.},
  xref = {Republication of: smith_bc:1984a1.},
  topic = {self-reference;programming-languages;}
  }

@unpublished{ smith_bc:1985a,
  author = {Brian C. Smith},
  title = {Is Computation Formal?},
  year = {1985},
  note = {Unpublished manuscript, Xerox Palto Alto Research Center},
  rtnote = {In RHT collection.},
  topic = {philosophy-of-computation;}
  }

@unpublished{ smith_bc:1985b,
  author = {Brian C. Smith},
  title = {The Limits of Correctness},
  year = {1985},
  note = {Unpublished manuscript, Xerox Palto Alto Research Center},
  rtnote = {In RHT collection.},
  topic = {program-verification;}
  }

@inproceedings{ smith_bc:1986a,
  author = {Brian C. Smith},
  title = {Varieties of Self-Reference},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the First Conference},
  year = {1986},
  editor = {Joseph Y. Halpern},
  pages = {19--43},
  publisher = {Morgan Kaufmann Publishers, Inc.},
  address = {Los Altos, California},
  topic = {foundations-of-AI;self-reference;}
  }

@article{ smith_bc:1987a,
  author = {Brian C. Smith},
  title = {Two Lessons of Logic},
  journal = {Computational Intelligence},
  year = {1987},
  volume = {3},
  issue = {3},
  pages = {214--218},
  xref = {kr;foundations-of-kr;logic-in-AI;}
  }

@article{ smith_bc:1991a,
  author = {Brian C. Smith},
  title = {The Owl and the Electric Encyclopedia},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {47},
  number = {1--3},
  pages = {251--258},
  contentnote = {An attempt to criticize superficial programs for AI.},
  topic = {foundations-of-AI;kr;krcourse;}
  }

@article{ smith_bc:1992a,
  author = {Barry C. Smith},
  title = {Understanding Language},
  journal = {Proceedings of the {A}ristotelian Society},
  year = {1992},
  volume = {92},
  note = {Supplementary Series.},
  pages = {109--141},
  topic = {philosophy-of-language;philosophy-of-linguistics;}
 }

@book{ smith_bc:1996a,
  author = {Brian Cantwell Smith},
  title = {On the Origin of Objects},
  publisher = {The {MIT} Press},
  year = {1996},
  address = {Cambridge, Massachusetts},
  xref = {Review: loui:1998a.},
  rtnote = {In RHT collection.  LL Shelves.},
  topic = {foundations-of-computation;}
 }

@techreport{ smith_bc-desrivieres:1984a,
  author = {Brian C. Smith and Jim des Rivieres},
  title = {Interim 3-{LISP} Reference Manual},
  institution = {Xerox Palto Alto Research Center},
  number = {P8400004},
  year = {1984},
  address = {Palo Alto},
  rtnote = {In RHT collection.},
  topic = {self-reference;programming-languages;}
  }

@article{ smith_bd-etal:2002a,
  author = {Benjamin D. Smith and Barbara E. Engelbrett and Darren
  	H. Mutz},
  title = {The {RADARSAT-MAMM} Automated Mission Planner},
  journal = {The {AI} Magazine},
  year = {2002},
  volume = {23},
  number = {2},
  pages = {25--36},
  topic = {autonomous-agents;planning-applications;}
  }

@incollection{ smith_bm:1988a,
  author = {Barbara M. Smith},
  title = {Forward Checking, the {ATMS} and Search
		Reduction},
  booktitle = {Reason Maintenance Systems and Their Applications},
  publisher = {Ellis Horwood, Ltd.},
  year = {1988},
  editor = {Barbara Smith and Gerald Kelleher},
  pages = {155--168},
  address = {Chichester},
  topic = {truth-maintenance;search;}
  }

@article{ smith_bm-dyer:1996a,
  author = {Barbara M. Smith and Martin E. Dyer},
  title = {Locating the Phase Transition in Binary Constraint
		Satisfaction},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {81},
  number = {1--2},
  pages = {155--181},
  topic = {search;experiments-on-theorem-proving-algs;
  	computational-phase-transitions;}
  }

@book{ smith_bm-kelleher_g:1988a,
  editor = {Barbara M. Smith and Gerald Kelleher},
  title = {Reason Maintenance Systems and Their Applications},
  publisher = {Ellis Horwood, Ltd.},
  year = {1988},
  address = {Chichester},
  contentnote = {TC:
  	1. Gerald Kelleher and Barbara M. Smith, "A Brief Introduction
		to Reason Maintenance Systems"
  	2. Murray Shanahan, "Incrementality and Logic Programming"
  	3. Han Reichgelt, "The Place of Defaults in a Reasoning
		System"
  	4. Michael Hopkins and Michael Clarke, "Nonmonotonic and
		Counterfactual Reasoning: Some Experiments with
		a Practical System"
  	5. Nikos Drakos, "Reason Maintenance in Horn-Clause
		Logic Programs"
  	6. Gregory M. Provan, "A Complexity Analysis of
		Assumption-Based Truth Maintenance Systems"
  	7. Rob Bodington and Peter Elleby, "Justification and
		Assumption-Based Truth Maintenance Systems: When and
		How to Use Them for Constraint Satisfaction"
  	8. John Jones and Mark Millington, "Modeling {U}nix Users
		with an Assumption-Based Truth Maintenance System:
		Some Preliminary Results"
  	9. Barbara M. Smith, "Forward Checking, the {ATMS} and Search
		Reduction"
  },
  topic = {truth-maintenance;}
 }

@article{ smith_cl:1986a,
  author = {Carolena L. Smith},
  title = {Attitudinal Study of Graphic Computer-Based
		  Instruction for Punctuation},
  journal = {Journal of Technical Writing and Communication},
  year = {1986},
  volume = {3},
  pages = {267--272},
  topic = {punctuation;}
 }

@article{ smith_cs:1977a,
  author = {Carlota S. Smith},
  title = {The Syntax and Interpretation of Temporal Expressions in
  	{E}nglish},
  journal = {Linguistics and Philosophy},
  year = {1977},
  volume = {2},
  number = {1},
  pages = {43--99},
  topic = {tense-aspect;}
  }

@book{ smith_cs:1982a,
  author = {Carlota S. Smith},
  title = {A Theory of Auxiliary {\em have} in {E}nglish},
  publisher = {Indiana University Linguistics Club},
  year = {1982},
  address = {310 Lindley Hall, Bloomington, Indiana},
  rtnote = {In RHT collection.},
  topic = {perfective-aspect;}
 }

@article{ smith_cs:1986a,
  author = {Carlota S. Smith},
  title = {A Speaker-Based Approach to Aspect},
  journal = {Linguistics and Philosophy},
  year = {1986},
  volume = {9},
  number = {1},
  pages = {97--115},
  topic = {tense-aspect;}
  }

@unpublished{ smith_cs:1987a,
  author = {Carlotta S. Smith},
  title = {A Valediction for Sentence Topic},
  year = {1987},
  note = {Unpublished manuscript, Linguistics Department, University
  	of Texas at Austin},
  rtnote = {In RHT collection.},
  topic = {s-topic;}
  }

@book{ smith_cs:1991a,
  author = {Carlotta S. Smith},
  title = {The Parameter of Aspect},
  publisher = {D. Reidel Publishing Co.},
  year = {1991},
  address = {Dordrecht},
  ISBN = {0792311361},
  rtnote = {Graduate Library Call No: P 281 .S571 1991},
  topic = {tense-aspect;}
 }

@article{ smith_cs:1999a,
  author = {Carlotta S. Smith},
  title = {Activities: States or Events?},
  journal = {Linguistics and Philosophy},
  year = {1999},
  volume = {22},
  number = {5},
  pages = {479--508},
  topic = {Actionsarten;eventualities;}
  }

@article{ smith_cs-wall_re:1983a,
  author = {Carlota S. Smith and Robert E. Wall},
  title = {Introduction},
  journal = {Linguistics and Philosophy},
  year = {1983},
  volume = {6},
  number = {3},
  note = {Introduction to a special issue on varieties of logical
  	form.},
  pages = {291--294},
  topic = {logical-form;foundations-of-semantics;}
  }

@article{ smith_de:1989a,
  author = {David E. Smith},
  title = {Controlling Backward Inference},
  journal = {Artificial Intelligence},
  year = {1989},
  volume = {39},
  number = {2},
  pages = {145--208},
  acontentnote = {Abstract:
     Effective control of inference is a critical problem in
     artificial intelligence.  Expert systems make use of powerful
     domain-dependent control information to beat the combinatorics
     of inference.  However, it is not always feasible or convenient
     to provide all of the domain-dependent control that may be
     needed, especially for systems that must handle a wide variety
     of inference problems, or must function in a changing
     environment.  In this paper, a domain-independent means of
     controlling inference is developed.  The basic approach is to
     compute expected cost and probability of success for different
     backward inference strategies.  This information is used to
     select between inference steps, and to compute the best order
     for processing conjunctions.  The necessary expected cost and
     probability calculations rely on simple information about the
     contents of the problem solver's database, such as the number of
     facts of a given form, and the domain sizes for the predicates
     and relations involved.  },
  topic = {search;declarative-search-control;}
  }

@article{ smith_de-etal:1986a,
  author = {David E. Smith and Michael R. Genesereth and Matthew L.
  	Ginsberg},
  title = {Controlling Recursive Inference},
  journal = {Artificial Intelligence},
  year = {1986},
  volume = {30},
  number = {3},
  pages = {343--389},
  acontentnote = {Abstract:
     Loosely speaking, recursive inference occurs when an inference
     procedure generates an infinite sequence of similar subgoals.  In
     general, the control of recursive inference involves
     demonstrating that recursive portions of a search space will not
     contribute any new answers to the problem beyond a certain
     level.  We first review a well-known syntactic method for
     controlling repeating inference (inference where the conjuncts
     processed are instances of their ancestors), provide a proof
     that it is correct, and discuss the conditions under which the
     strategy is optimal.  We also derive more powerful pruning
     theorems for cases involving transitivity axioms and cases
     involving subsumed subgoals.  The treatment of repeating
     inference is followed by consideration of the more difficult
     problem of recursive inference that does not repeat.  Here we
     show how knowledge of the properties of the relations involved
     and knowledge about the contents of the system's database can be
     used to prove that portions of a search space will not
     contribute any new answers.  },
  topic = {search;declarative-search-control;}
  }

@article{ smith_de-genesereth:1985a,
  author = {David E. Smith and Michael R. Genesereth},
  title = {Ordering Conjunctive Queries},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {26},
  number = {2},
  pages = {171--215},
  acontentnote = {Abstract:
     Conjunctive problems are pervasive in artificial intelligence
     and database applications.  In general, such problems cannot be
     solved without carefully ordering the set of conjuncts for the
     problem-solving system.  In this paper, the problem of
     determining the best ordering for a set of conjuncts is
     addressed.  We first show how simple information about set sizes
     can be used to estimate the cost of solving a conjunctive
     problem.  Assuming the availability of this information, methods
     for ordering conjuncts are developed, based on several theorems
     and corollaries about ordering.  We also consider two well-known
     heuristic ordering rules and discuss their advantages and
     disadvantages.  Finally, the overall efficiency of including
     conjunct ordering in a problem solver is considered.  To help
     reduce the overhead we present an approach of monitoring
     problem-solving cost at run-time.  In this way conjunct ordering
     is limited to difficult problems where the cost of ordering is
     less significant.  We also consider several issues involved in
     extending conjunct ordering to problems involving inference and
     planning problems.  },
  topic = {theorem-proving;problem-solving;}
  }

@article{ smith_dr:1985a,
  author = {Douglas R. Smith},
  title = {Top-Down Synthesis of Divide-and-Conquer Algorithms},
  journal = {Artificial Intelligence},
  year = {1985},
  volume = {27},
  number = {1},
  pages = {43--96},
  acontentnote = {Abstract:
     A top-down method is presented for the derivation of algorithms
     from a formal specification of a problem.  This method has been
     implemented in a system called CYPRESS.  The synthesis process
     involves the top-down decomposition of the initial specification
     into a hierarchy of specifications for subproblems.  Synthesizing
     programs for each of these subproblems results in the
     composition of a hierarchically structured program.  The initial
     specification is allowed to be partial in that some or all of
     the input conditions may be missing.  CYPRESS completes the
     specification and produces a totally correct applicative
     program.  Much of CYPRESS' knowledge comes in the form of
     `design strategies' for various classes of algorithms.  The
     structure of a class of divide-and-conquer algorithms is
     explored and provides the basis for several design strategies.
     Detailed derivations of mergesort and quicksort algorithms are
     presented.  },
  topic = {automatic-programming;}
  }

@unpublished{ smith_dw:1979a,
  author = {David Woodruff Smith},
  title = {The Case of the Exploding Perception},
  year = {1979},
  note = {Unpublished manuscript, University of California
		at Irvine},
  rtnote = {In RHT collection.},
  topic = {logic-of-perception;}
  }

@article{ smith_dw:1981a,
  author = {David Woodruff Smith},
  title = {Indexical Sense and Reference},
  journal = {Synth\'ese},
  year = {1981},
  volume = {49},
  number = {1},
  pages = {101--127},
  topic = {pragmatics;indexicals;context;intensionality;}
  }

@incollection{ smith_ee:1989a,
  author = {Edward E. Smith},
  title = {Concepts and Induction},
  booktitle = {Foundations of Cognitive Science},
  publisher = {The {MIT} Press},
  year = {1989},
  editor = {Michael I. Posner},
  chapter = {13},
  pages = {501--526},
  address = {Cambridge, Massachusetts},
  topic = {common-sense;induction;cognitive-psychology;}
  }

@book{ smith_gw:1991a,
  author = {George W. Smith},
  title = {Computers and Human Language},
  publisher = {Oxford University Press},
  year = {1991},
  address = {Oxford},
  rtnote = {In RHT collection.},
  topic = {nlp-intro;nlp-survey;}
 }

@inproceedings{ smith_ia-cohen_pr:1996a,
  author =  {Ira A. Smith and Philip R. Cohen},
  title = {Toward a Semantics for an Agent Communication Language
  	Based on Speech Acts},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference,
	      Vol. 2},
  year = {1996},
  editor = {William J. Clancey and Dan Weld},
  pages = {24--31},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address =  {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {speech-acts;discourse;communication-protocols;pragmatics;}
  }

@book{ smith_jb:1994a,
  author = {John B. Smith},
  title = {Collective Intelligence in Computer-Based Collaboration},
  publisher = {Lawrence Erlbaum Associates},
  year = {1994},
  address = {Mahwah, New Jersey},
  ISBN = {0805813195},
  rtnote = {UMich Graduate Library, HD 66 .S631 1994.},
  topic = {HCI;collaboration;}
 }

@article{ smith_jm:2000a,
  author = {John Maynard Smith},
  title = {The Concept of Information in Biology},
  journal = {Philosophy of Science},
  year = {2000},
  volume = {67},
  number = {2},
  pages = {177--194},
  topic = {philosophy-of-biology;foundations-of-genetics;
  	evolution;information;}
  }

@article{ smith_jq-anderson_pe:2008a,
  author = {Jim Q. Smith and Paul E. Anderson},
  title = {Conditional Independence and Chain Event Graphs},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {1},
  pages = {42--68},
  topic = {probabilistic-reasoning;chain-event-graphs;}
  }

@article{ smith_jq-papamichail:1999a,
  author = {Jim Q. Smith and K.N. Papamichail},
  title = {Fast {B}ayes and the Dynamic Junction Forest},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {107},
  number = {1},
  pages = {99--124},
  missinginfo = {A's 1st names},
  topic = {influence-diagrams;probabilistic-reasoning;Bayesian-networks;}
  }

@incollection{ smith_n:1997a,
  author = {Nicholas Smith},
  title = {Improving a Tagger},
  booktitle = {Corpus Annotation},
  publisher = {Longman},
  year = {1997},
  editor = {Roger Garside and Geoffrey Leech and Tony McEnery},
  pages = {137--150},
  address = {London},
  topic = {corpus-linguistics;corpus-annotation;corpus-tagging;}
  }

@inproceedings{ smith_na-eisner:2005a,
  author = {Noah A. Smith and Jason Eisner},
  title = {Contrastive Estimation: Training Log-Linear Models on
  		Unlabeled Data},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {354--362},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1044},
  topic = {conditional-random-fields;part-of-speech-tagging;
  	machine-learning;}
  }

@article{ smith_nj:2004a,
  author = {Nicholas J. Smith},
  title = {Vagueness and Blurry Sets},
  journal = {Journal of Philosophical Logic},
  year = {2004},
  volume = {33},
  number = {2},
  pages = {165--235},
  topic = {vagueness;}
  }

@article{ smith_nj:2005a,
  author = {Nicholas J. Smith},
  title = {A Plea for Things that Are Not Quite All There: Or, Is There
  	a Problem about Vague Composition and Vague Existence?},
  journal = {The Journal of Philosophy},
  year = {2005},
  volume = {102},
  number = {8},
  pages = {381--421},
  topic = {vagueness;identity;sorites-paradox;}
  }

@article{ smith_nj:2008a,
  author = {Nicholas J. Smith},
  title = {Why Sense Cannot Be Made of Vague Identity},
  journal = {No\^us},
  year = {2008},
  volume = {42},
  number = {1},
  pages = {1--16},
  topic = {vagueness;identity;}
  }

@book{ smith_nv:1982a,
  editor = {N.V. Smith},
  title = {Mutual Knowledge},
  publisher = {Academic Press},
  year = {1982},
  address = {London},
  missinginfo = {A's 1st name},
  rtnote = {In RHT collection.  Shelf.},
  contentnote = {TC:
	1. H.H. Clark and T.B. Carlson, "Speech Acts and
		Hearer's Beliefs"
	2. Dan Sperber and D. Wilson, "Mutual Knowledge and
		Relevance in Theories of Comprehension"
	3. M. Brody, "On Circular Readings"
	4. A. Joshi, "Mutual Beliefs in Question-Answer Systems"
	5. H.P. Grice, "Meaning Revisited"
	},
  topic = {discourse;coordination-in-conversation;pragmatics;}
 }

@book{ smith_p:1998a,
  author = {Peter Smith},
  title = {Explaining Chaos},
  publisher = {Cambridge University Press},
  year = {1998},
  address = {Cambridge, England},
  xref = {Review: sklar:2001a.},
  topic = {chaos-theory;philosophy-of-physics;}
 }

@book{ smith_p:2003a,
  author = {Peter Smith},
  title = {An Introduction to Formal Logic},
  publisher = {Cambridge University Press},
  year = {2003},
  address = {Cambridge, England},
  ISBN = {0-521-81033-7 (hardback), 0-521-00804-2 (pbk), },
  rtnote = {UMich Graduate Library, BC 71 .S621 2003},
  topic = {logic-intro;}
 }

@book{ smith_p:2007a,
  author = {Peter Smith},
  title = {An Introduction to {G}\"odel's Theorems},
  publisher = {Cambridge University Press},
  year = {2007},
  address = {Cambridge, England},
  xref = {Review: avron:2009a},
  topic = {Goedel;goedels-first-theorem;goedels-second-theorem;}
 }

@article{ smith_p:2008a,
  author = {Peter Smith},
  title = {Review of \emph{Absolute Generality}, edited by
  		{A}ugust\'in {R}ayo and {G}abriel {U}zquiano},
  journal = {The Bulletin of Symbolic Logic},
  year = {2008},
  volume = {14},
  number = {3},
  pages = {398--401},
  xref = {Review of: rayo-uzquiano:2006a.},
  topic = {philosophical-ontology;unrestrictive-quantification;}
  }

@book{ smith_pd:1990a,
  author = {Peter D. Smith},
  title = {An Introduction to Text Processing},
  publisher = {The {MIT} Press},
  year = {1990},
  address = {Cambridge Massachusetts},
  ISBN = {0-262-19299-3},
  topic = {nl-processing;nlp-intro;}
 }

@article{ smith_q:2002a,
  author = {Quentin Smith},
  title = {Review of \emph{{S}emantics, Tense, and Time: An Essay in the
  	Metaphysics of Natural Language}, by {P}eter {J}. {L}udlow},
  journal = {The Philosophical Review},
  year = {2002},
  volume = {111},
  number = {2},
  pages = {278--281},
  xref = {Review of: ludlow:1999a},
  topic = {nl-semantics;tense-aspect;metaphysics;}
  }

@article{ smith_rg-farquhar:2000a,
  author = {Reid G. Smith and Adam Farquhar},
  title = {The Road Ahead for Knowledge Management: An {AI} Perspective},
  journal = {The {AI} Magazine},
  year = {2000},
  volume = {21},
  number = {4},
  pages = {17--40},
  topic = {knowledge-management;}
  }

@incollection{ smith_rw:1997a,
  author = {Ronnie W. Smith},
  title = {Performance Measures for the Next
	Generation of Spoken Natural Language Dialog Systems},
  booktitle = {Interactive Spoken Dialog Systems:  Bridging
  	Speech and {NLP} Together in Real Applications},
  publisher = {Association for Computational Linguistics},
  year = {1997},
  editor = {Julia Hirschberg and Candace Kamm and Marilyn Walker},
  pages = {37--40},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;nlp-evaluation;nl-generation';}
  }

@incollection{ smith_rw-etal:2002a,
  author = {Ronnie W. Smith and Brian Manning and Jon Rogers and Brian Adams
    		and Mujibar Abdul and Amaury Alvarez},
  title = {A Dialog Architecture for Military Story Capture},
  booktitle = {Third {SIGdial} Workshop on Discourse and Dialogue:
  		Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Kristina Jokinen and Susan McRoy},
  pages = {184--187},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;context;}

repository: sergiud/bibtex-spirit

repo_name: sergiud/bibtex-spirit