%A Jon Barwise
%T The Situation in Logic-I
%R Report CSLI-2
%I Stanford University,	Center for the Study of Language and Information

%A Ivan Sag
%A Gerald Gadzar
%A Thomas Wasow
%A Steven Weisler
%T Coordination and How to Distinguish Categories
%R Report CSLI-3
%I Stanford University,	Center for the Study of Language and Information

%A Kurt Konlidge
%T Belief and Incompleteness
%R Report CSLI-4
%I Stanford University,	Center for the Study of Language and Information

%A Joseph Goguen
%A Jose Meseguer
%T Equality, Types, Modules and Generics for Logic Programming
%R Report CSLI-5
%I Stanford University,	Center for the Study of Language and Information

%A Johan van\ Benthem
%T Lessons from Bolzano
%R Report CSLI-6
%I Stanford University,	Center for the Study of Language and Information

%A Pentti Kanerva
%T Self-propagating Search: A Unified Theory of Memory
%R Report CSLI-7
%I Stanford University,	Center for the Study of Language and Information

%A Brian Cantwell\ Smith
%T Reflection and Semantics in LISP
%R Report CSLI-8
%I Stanford University,	Center for the Study of Language and Information

%A Jim des\ Rivieres
%A Brian Cantwell\ Smith
%T The Implementation of Procedurally Reflexive Languages
%R Report CSLI-9
%I Stanford University,	Center for the Study of Language and Information

%A Joseph Goguen
%T Parametrized Programming
%R Report CSLI-10
%I Stanford University,	Center for the Study of Language and Information

%A Meg Withgott
%A Per-Kristian Halvorsen
%T Morphological Constraints on Scnadinavian Tone Accent
%R Report CSLI-11
%I Stanford University,	Center for the Study of Language and Information

%A Johan van\ Benthem
%T Partiality and Nonmonotonicity in Classical Logic
%R Report CSLI-12
%I Stanford University,	Center for the Study of Language and Information

%A Jon Barwise
%A John Perry
%T Shifting Situations and Shaken Attitudes
%R Report CSLI-13
%I Stanford University,	Center for the Study of Language and Information

%A Robin Cooper
%T Aspectual Classes in Situation Semantics
%R Report CSLI-14-C
%I Stanford University,	Center for the Study of Language and Information

%A Joseph Goguen
%A Jose Mesegeur
%T Completeness of Many-Sorted Equational Logic
%R Report CSLI-15
%I Stanford University,	Center for the Study of Language and Information

%A Terry Winograd
%T Moving the Semantic Fulcrum
%R Report CSLI-17
%I Stanford University,	Center for the Study of Language and Information

%A C. Raymond Perrault
%T On the Mathematical Properties of Linguistic Theories
%R Report CSLI-18
%I Stanford University,	Center for the Study of Language and Information

%A Michael P. Georgeff
%A Stephen F. Bodnar
%T A Simple and Efficient Implementation og Higher-Order Functions in LISP
%R Report CSLI-19
%I Stanford University,	Center for the Study of Language and Information

%A Irene Guessarian
%A Jose Mesegeur
%T On the Axiomatization of ``if-then-else''
%R Report CSLI-20
%I Stanford University,	Center for the Study of Language and Information

%A Jon Barwise
%T The Situation in Logic-II: Conditionals and Conditional Information
%R Report CSLI-21
%I Stanford University,	Center for the Study of Language and Information

%A Kochi Futatsugi
%A Joseph Goguen
%A Jean-Pierre Jouannaud
%A Jose Mesegeur
%T Principles of OBJ2
%R Report CSLI-22
%I Stanford University,	Center for the Study of Language and Information

%A Moshe Vardi
%T Querying Logical Databases
%R Report CSLI-23
%I Stanford University,	Center for the Study of Language and Information

%A Gerald Gazdar
%A Geoffrey K. Pullum
%T Computationally relevant properties of natural languages and their
grammars
%R Report CSLI-85-24
%I Stanford University,	Center for the Study of Language and Information
%D 1985
%P 45

%A Ronald Fagin
%A Moshe Vardi
%T An internal semantics for modal logic: preliminary report
%R Report CSLI-85-25
%I Stanford University,	Center for the Study of Language and Information
%D 1985
%P 24

%A Jon Barwise
%T The situation in logic - III: simulation, sets and the axiom of
foundation
%R Report CSLI-85-26
%I Stanford University,	Center for the Study of Language and Information
%D 1985
%P 24

%A Johan van\ Benthem
%T Semantic automata
%R Report CSLI-85-27
%I Stanford University,	Center for the Study of Language and Information
%D 1985
%P 31

%A Peter Sells
%T Restrictive and non-restrictive modification
%R Report CSLI-85-28
%I Stanford University,	Center for the Study of Language and Information
%D 1985
%P 33

%A Jens Erik Fenstad
%A Per-Kristian Halvorsen
%A Tore Langholm
%A Johan van\ Benthem
%T Equations, Schemata and Situations: A Framework for Linguistic Semantics
%R Report CSLI-29
%I Stanford University,	Center for the Study of Language and Information

%A Joseph Goguen
%A R. M. Burstall
%T Institutions: Abstract Model Theory for Computer Science
%R Report CSLI-30
%I Stanford University,	Center for the Study of Language and Information

%A Robert C. Moore
%T A Formal Theory of Knowledge and Action
%R Report CSLI-31
%I Stanford University,	Center for the Study of Language and Information

%A Gerald Gadzar
%T Finite State Morphology: A Review of Koskenniemi (1983)
%R Report CSLI-32
%I Stanford University,	Center for the Study of Language and Information

%A Robert C. Moore
%T The Role of Logic in Artificial Intelligence
%R Report CSLI-33
%I Stanford University,	Center for the Study of Language and Information

%A Gerald Gadzar
%T Applicability of Indexed Grammars to Natural Languages
%R Report CSLI-34
%I Stanford University,	Center for the Study of Language and Information

%A Jerry R. Hobbs
%T Commonsense Summer: Final Report
%R Report CSLI-35
%I Stanford University,	Center for the Study of Language and Information

%A Brian Cantwell\ Smith
%T Limits of Correctness in Computers
%R Report CSLI-36
%I Stanford University,	Center for the Study of Language and Information

%A Jerry R. Hobbs
%T On the Coherence and Structure of Discourse
%R Report CSLI-37
%I Stanford University,	Center for the Study of Language and Information

%A Jerry R. Hobbs
%A Michael H. Agar
%T The Coherence of Incoherent Discourse
%R Report CSLI-38
%I Stanford University,	Center for the Study of Language and Information

%A Barbara Grosz
%A Candace L. Sidner
%T The Structures of Discourse Structures
%R Report CSLI-39
%I Stanford University,	Center for the Study of Language and Information

%A Christopher Menzel
%T A Complete Type-free, Second-order Logic and its Philosophical Foundations
%R Report CSLI-40
%I Stanford University,	Center for the Study of Language and Information

%A Robert C. Moore
%T Possible-world Semantics for Autoepistemic Logic
%R Report CSLI-41
%I Stanford University,	Center for the Study of Language and Information

%A Jose Mesegeur
%A Joseph A. Goguen
%T Deduction with Many-sorted Rewrite
%R Report CSLI-42
%I Stanford University,	Center for the Study of Language and Information

%A Hans Uszkoreit
%A Stanley Peters
%T On Some Formal Properties of Metarules
%R Report CSLI-43
%I Stanford University,	Center for the Study of Language and Information

%A John Perry
%T Language, Mind and Information
%R Report CSLI-44
%I Stanford University,	Center for the Study of Language and Information

%A Hans Uszkoreit
%T Constraints on Order
%R Report CSLI-46
%I Stanford University,	Center for the Study of Language and Information

%A Hans Uszkoreit
%T Linear Precedence in Discontinuous Constituents: Complex Fronting in German
%R Report CSLI-47
%I Stanford University,	Center for the Study of Language and Information

%A Stuart M. Sheiber
%A Fernando C. N. Pereira
%A Lauri Karttunen
%A Martin Kay
%T A Compilation of Papers on Unification-Based Grammar Formalisms, Parts I and II
%R Report CSLI-48
%I Stanford University,	Center for the Study of Language and Information

%A Jerry R. Hobbs
%A Stuart M. Shieber
%T An Algorithm for Generating Quantifier Scopings
%R Report CSLI-49
%I Stanford University,	Center for the Study of Language and Information

%A Dorit Abusch
%T Verbs of Change, Causation and Time
%R Report CSLI-50
%I Stanford University,	Center for the Study of Language and Information

%A Mats Rooth
%T Noun-Phrase Interpretation
%R Report CSLI-51
%I Stanford University,	Center for the Study of Language and Information

%A Jon Barwise
%T Noun Phrases, Generalized Quantifiers and Anaphora
%R Report CSLI-52
%I Stanford University,	Center for the Study of Language and Information

%A John Perry
%T Circumstantial  Attitudes and Benevolent Cognition
%R Report CSLI-53
%I Stanford University,	Center for the Study of Language and Information

%A Joseph A. Goguen
%A R. M. Burstall
%T A Study in the Foundations of Programming Methodology:
Specifications, Institutions, Charters and Parchments
%R Report CSLI-54
%I Stanford University,	Center for the Study of Language and Information

%A Dag Westerstahl
%T Quantifiers in Formal and Natural Languages
%R Report CSLI-55
%I Stanford University,	Center for the Study of Language and Information

%A Ivan Blair
%T Intentionality, Information, and Matter
%R Report CSLI-56
%I Stanford University,	Center for the Study of Language and Information

%A William Marsh
%T Graphs and Grammars
%R Report CSLI-57
%I Stanford University,	Center for the Study of Language and Information

%A Mark Johnson
%T Computer Aids for Comparative Dictionaries
%R Report CSLI-58
%I Stanford University,	Center for the Study of Language and Information

%A Lauri Karttunen
%T The Relevance of Computational Linguistics
%R Report CSLI-59
%I Stanford University,	Center for the Study of Language and Information

%A Ivan A. Sag
%T Grammatical Hierachy and Linear Precedence
%R Report CSLI-60
%I Stanford University,	Center for the Study of Language and Information

%A Lauri Karttunen
%T D-PATR: A Development Enviornment for Unification-Based Grammars
%R Report CSLI-61
%I Stanford University,	Center for the Study of Language and Information

%A Luis F. Moteiro
%A Fernando C. N. Pereira
%T A Sheaf-Theoretic Model of Concurrency
%R Report CSLI-62
%I Stanford University,	Center for the Study of Language and Information

%A Mark Johnson
%T Discourse, Anaphora and Parsing
%R Report CSLI-63
%I Stanford University,	Center for the Study of Language and Information

%A John Etchemendy
%T Tarski on Truth and Logical Consequence
%R Report CSLI-64
%I Stanford University,	Center for the Study of Language and Information

%A Mark Johnson
%T The LFG Treamtment of Discontinuity and The Double Infinitive
Construction in Dutch
%R Report CSLI-65
%I Stanford University,	Center for the Study of Language and Information

%A Hans Uszkoreit
%T Categorical Unification Grammars
%R Report CSLI-66
%I Stanford University,	Center for the Study of Language and Information

%A Godehard Link
%T Generalized Quantifiers and Plurals
%R Report CSLI-67
%I Stanford University,	Center for the Study of Language and Information

%A Lauri Karttunen
%T Radical Lexicalism
%R Report CSLI-68
%I Stanford University,	Center for the Study of Language and Information

%A Michael E. Bratman
%T What is Intention?
%R Report CSLI-69
%I Stanford University,	Center for the Study of Language and Information

%E Mark Stefik
%T Understand Computers and Cognition: Four Reviews and a Response
%R Report CSLI-70
%I Stanford University,	Center for the Study of Language and Information

%A Brian Cantwell Smith
%T The Corresponding Continuum
%R Report CSLI-71
%I Stanford University,	Center for the Study of Language and Information

%A David J. Israel
%T The Role of Propositional Objects of Belief in Action
%R Report CSLI-72
%I Stanford University,	Center for the Study of Language and Information

%A John Perry
%T From Worlds to Situations
%R Report CSLI-73
%I Stanford University,	Center for the Study of Language and Information

%A Jon Barwise
%T Two Replies
%R Report CSLI-74
%I Stanford University,	Center for the Study of Language and Information

%A Brian Cantwell Smith
%T Semantics of Clocks
%R Report CSLI-75
%I Stanford University,	Center for the Study of Language and Information

%A Brian Cantwell Smith
%T Varieties of Self-Reference
%R Report CSLI-76
%I Stanford University,	Center for the Study of Language and Information

%A Alexander Pentland
%T The Parts of Perception
%R Report CSLI-77
%I Stanford University,	Center for the Study of Language and Information

%A Joan Bresnan
%A S. A. Mchombo
%T Topic, Pronoun, and Agreement in Chichewa
%R Report CSLI-78
%I Stanford University,	Center for the Study of Language and Information

%A Carl Pollard
%A Ivan S. Sag
%T HPSG: An Informal Synopsis
%R Report CSLI-79
%I Stanford University,	Center for the Study of Language and Information

%A Susan Stucky
%T The Situated Processing of Situated Languages
%R Report CSLI-80
%I Stanford University,	Center for the Study of Language and Information

%A Terry Winograd
%T Muir: A Tool for Language Design
%R Report CSLI-81
%I Stanford University,	Center for the Study of Language and Information

%A Lawrence S. Moses
%A Jose Mesgeur
%A Joseph A. Goguen
%T Final Algebras, Cosemicomputable Algebras, and Degrees of Unsolvability
%R Report CSLI-82
%I Stanford University,	Center for the Study of Language and Information

%A Stanley J. Rosenschein
%A Leslie Pack Kaelbling
%T The Synthesis of Digital Machines with Provable Epistemic Properties
%R Report CSLI-83
%I Stanford University,	Center for the Study of Language and Information

%A Stanley J. Rosenschein
%T Formal Theories of Knowledge in AI and Robotics
%R Report CSLI-84
%I Stanford University,	Center for the Study of Language and Information

%A Leslie Pack Kaelbling
%T An Architecture for Intelligent Reasoning Systems
%R Report CSLI-85
%I Stanford University,	Center for the Study of Language and Information

%A Jose Mesgeur
%A Joseph A. Goguen
%A Gert Smolka
%T Order-Sorted Unififcation
%R Report CSLI-86
%I Stanford University,	Center for the Study of Language and Information

%A Joseph A. Goguen
%T Modular Algebraic Specification of Some Basic Geometrical Constraints
%R Report CSLI-87
%I Stanford University,	Center for the Study of Language and Information

%A Phil Cohen
%A Hector Levesque
%T Persistence, Intention, and Commitment
%R Report CSLI-88
%I Stanford University,	Center for the Study of Language and Information

%A Phil Cohen
%A Hector Levesque
%T Rational Interaction as a Basis for Communication
%R Report CSLI-89
%I Stanford University,	Center for the Study of Language and Information

%A C. Raymond Perrault
%T An Application of Default Logic to Speech Act Theory
%R Report CSLI-90
%I Stanford University,	Center for the Study of Language and Information

%A Joseph A. Goguen
%A Jose Meseuger
%T Models and Equality for Logic Programming
%R Report CSLI-91
%I Stanford University,	Center for the Study of Language and Information

%A Joseph A. Goguen
%A Jose Meseuger
%T Order-Sorted Algebra Solves the Constructor-Selector,
Multiple Representation and Coercion Problems
%R Report CSLI-92
%I Stanford University,	Center for the Study of Language and Information

%A Joseph A. Goguen
%A Jose Meseuger
%T Extensions and Foundations for Object-Oriented Programming
%R Report CSLI-93
%I Stanford University,	Center for the Study of Language and Information

%A William Poser
%T L3 Reference Manual: Version 2.19
%R Report CSLI-94
%I Stanford University,	Center for the Study of Language and Information

%A Carol E. Cleland
%T Change, Process and Events
%R Report CSLI-95
%I Stanford University,	Center for the Study of Language and Information

%A Joseph A. Goguen
%T One, None, a Hundred Thousand Specification Languages
%R Report CSLI-96
%I Stanford University,	Center for the Study of Language and Information

%A Derek Proudian
%A David Goddeau
%T Constituent Coordination in HPSG
%R Report CSLI-97
%I Stanford University,	Center for the Study of Language and Information

%A Terry Winograd
%T A Language/Action Perspective on the Design of Cooperative Work
%R Report CSLI-98
%I Stanford University,	Center for the Study of Language and Information

%A Jerry R. Hobbs
%T Implicature and Definite Reference
%R Report CSLI-99
%I Stanford University,	Center for the Study of Language and Information

%A Terry Winograd
%T Thinking Machines: Can there be? Are we?
%R Report CSLI-100
%I Stanford University,	Center for the Study of Language and Information

%A Per-Kristian Halvorsen
%T Situation Semantics and Semantic Interpretation in Constraint-based
Grammars
%R Report CSLI-101
%I Stanford University,	Center for the Study of Language and Information

%A Gerald Gazdar
%A Geoffrey K. Pullum
%A Robert Carpenter
%A Ewan Klein
%A Thomas E. Hukari
%A Robert D. Levine
%T Category Structures
%R Report CSLI-102
%I Stanford University,	Center for the Study of Language and Information

%A Ronald Alan Nash
%T Cognitive Theories of Emotion
%R Report CSLI-103
%I Stanford University,	Center for the Study of Language and Information

%A Martha E. Pollack
%A David J. Israel
%A Michael E. Bratman
%T Toward an Architecture for Resource-bounded Agents
%R Report CSLI-104
%I Stanford University,	Center for the Study of Language and Information

%A Kurt Konolige
%T On the Relation Between Default and Autoepistemic Logic
%R Report CSLI-105
%I Stanford University,	Center for the Study of Language and Information

%A Terry Winograd
%T Three Responses to Situation Theory
%R Report CSLI-106
%I Stanford University,	Center for the Study of Language and Information

%A Mary Dalrymple
%A Ronald M. Kaplan
%A Lauri Kattunen
%A Kimmo Koskenniemi
%A Sami Shaio
%A Michael Westcott
%T Tools for Morphological Analysis
%R Report CSLI-108
%I Stanford University,	Center for the Study of Language and Information

%A Dietmar Zafferer
%T Bare Plurals, Naked Relatives and Their Kin
%R Report CSLI-112
%I Stanford University,	Center for the Study of Language and Information