The situation in logic-I, Jon Barwise
@TechReport{stan-csli-84-2,
  author = 	 "Jon Barwise",
  title = 	 "The situation in logic-I",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1984,
  number =	 "Report No. CSLI-84-2"
}

Coordination and how to distinguish categories, Ivan A. Sag, et. al.
@TechReport{stan-csli-84-3,
  author = 	 "Ivan A. Sag, et. al.",
  title = 	 "Coordination and how to distinguish categories",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1984,
  number =	 "Report No. CSLI-84-3"
}

Belief and incompleteness, Kurt Konolige
@TechReport{stan-csli-84-4,
  author = 	 "Kurt Konolige",
  title = 	 "Belief and incompleteness",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1984,
  number =	 "Report No. CSLI-84-4"
}

Equality, types, modules and generics for logic programming, Joseph A. Goguen, Jos\'e Meseguer
@TechReport{stan-csli-84-5,
  author = 	 "Joseph A. Goguen, Jos{\'{e}} Meseguer",
  title = 	 "Equality, types, modules and generics for logic programming",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1984,
  key =		 "Jose Meseguer",
  number =	 "Report No. CSLI-84-5"
}

Lessons from bolzano, Johan van Benthem
@TechReport{stan-csli-84-6,
  author = 	 "Johan van Benthem",
  title = 	 "Lessons from bolzano",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1984,
  number =	 "Report No. CSLI-84-6"
}

Reflection and semantics in LISP, Brian Cantwell Smith
@TechReport{stan-csli-84-7,
  author = 	 "Pentti Kanerva",
  title = 	 "Self-propagating search : a unified theory of memory",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1984,
  number =	 "Report No. CSLI-84-7",
  note =         "Thesis"
@TechReport{stan-csli-84-8,
  author = 	 "Brian Cantwell Smith",
  title = 	 "Reflection and semantics in LISP",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1984,
  number =	 "Report No. CSLI-84-8"
}

The implementation of procedurally reflective languages, Jim des Rivi \°∆eres, Brian Cantwell Smith
@TechReport{stan-csli-84-9,
  author = 	 "Jim des Rivi{ \°∆{e}}res, Brian Cantwell Smith",
  title = 	 "The implementation of procedurally reflective languages",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1984,
  key =          "Jim des Rivieres",°°
  number =	 "Report No. CSLI-84-9"
}

Parameterized Programming, Joseph Goguen
@TechReport{stan-csli-84-10,
  author = 	 "Joseph Goguen",
  title = 	 "Parameterized Programming",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1984,
  number =	 "Report No. CSLI-84-10"
}

Partiality and nonmonotonicity in classical logic, Johan van Benthem
@TechReport{stan-csli-84-12,
  author = 	 "Johan van Benthem",
  title = 	 "Partiality and nonmonotonicity in classical logic",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1984,
  number =	 "Report No. CSLI-84-12"
}

Shifting situations and shaken attitudes, Jon Barwise, John Perry
@TechReport{stan-csli-84-13,
  author = 	 "Jon Barwise, John Perry",
  title = 	 "Shifting situations and shaken attitudes",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1984,
  number =	 "Report No. CSLI-84-13"
}

Aspectual classes in situation semantics, Robin Cooper
@TechReport{stan-csli-84-14c,
  author = 	 "Robin Cooper",
  title = 	 "Aspectual classes in situation semantics",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1985,
  number =	 "Report No. CSLI-84-14C"
}

Completeness of many-sorted equational logic, J.A. Goguen, J. Meseguer
@TechReport{stan-csli-84-15,
  author = 	 "J.A. Goguen, J. Meseguer",
  title = 	 "Completeness of many-sorted equational logic",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1984,
  number = 	 "Report No. CSLI-84-15"
}

The Center for the study of language and information,
@TechReport{stan-csli-84-16,
  title = 	 "The Center for the study of language and information",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1984,
  number =	 "Report No. CSLI-84-16"
}

Moving the semantic fulcrum, Terry Winograd
@TechReport{stan-csli-84-17,
  author = 	 "Terry Winograd",
  title = 	 "Moving the semantic fulcrum",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1984,
  number =	 "Report No. CSLI-84-17"
}

On the mathematical properties of linguistic theories, C. Raymond Perrault
@TechReport{stan-csli-84-18,
  author = 	 "C. Raymond Perrault",
  title = 	 "On the mathematical properties of linguistic theories",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1984,
  number =	 "Report No. CSLI-84-18"
}

A simple and efficient implementation of higher-order functions in LISP, Michael P. Georgeff, Stephen F. Bodnar
@TechReport{stan-csli-84-19,
  author = 	 "Michael P. Georgeff, Stephen F. Bodnar",
  title = 	 "A simple and efficient implementation of
		  higher-order functions in LISP",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1984,
  number =	 "Report No. CSLI-84-19"
}

On the axiomatization of °∆if-then-else', Ir\°∆ene Guessarian, Jos\'e Meseguer
@TechReport{stan-csli-85-20,
  author = 	 "Ir{\°∆{e}}ne Guessarian, Jos{\'{e}} Meseguer",
  title = 	 "On the axiomatization of °∆if-then-else'",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1985,
  key =		 "Irene Guessarian, Jose Meseguer",
  number =	 "Report No. CSLI-85-20"
}

The situation in logic-II : conditionals and conditional information, Jon Barwise
@TechReport{stan-csli-85-21,
  author = 	 "Jon Barwise",
  title = 	 "The situation in logic-II : conditionals and
		  conditional information",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1985,
  number =	 "Report No. CSLI-85-21"
}

Principles of OBJ2, Kokichi Futatsugi et. al.
@TechReport{stan-csli-85-22,
  author = 	 "Kokichi Futatsugi et. al.",
  title = 	 "Principles of OBJ2",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1985,
  number =	 "Report No. CSLI-85-22"
}

Querying logical databases, Moshe Vardi
@TechReport{stan-csli-85-23,
  author = 	 "Moshe Vardi",
  title = 	 "Querying logical databases",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1985,
  number =	 "Report No. CSLI-85-23"
}

Computationally relevant Properties of natural languages and their grammars, Gerald Gazdar, Geoffrey K. Pullum
@TechReport{stan-csli-85-24,
  author = 	 "Gerald Gazdar, Geoffrey K. Pullum",
  title = 	 "Computationally relevant Properties of natural
		  languages and their grammars",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1985,
  number =	 "Report No. CSLI-85-24"
}

An internal semantics for modal logic : preliminary report, Ronald Fagin, Moshe Y. Vardi
@TechReport{stan-csli-85-25,
  author = 	 "Ronald Fagin, Moshe Y. Vardi",
  title = 	 "An internal semantics for modal logic : preliminary report",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1985,
  number =	 "Report No. CSLI-85-25"
}

The situation in logic-III : situations, sets and the axiom of foundation, Jon Barwise
@TechReport{stan-csli-85-26,
  author = 	 "Jon Barwise",
  title = 	 "The situation in logic-III : situations, sets and the
	          axiom of foundation",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1985,
  number =	 "Report No. CSLI-85-26"
}

Semantic automata, Johan van Benthem
@TechReport{stan-csli-85-27,
  author = 	 "Johan van Benthem",
  title = 	 "Semantic automata",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1985,
  number =	 "Report No. CSLI-85-27"
}

Restrictive and non-restrictive modification, Peter Sells
@TechReport{stan-csli-85-28,
  author = 	 "Peter Sells",
  title = 	 "Restrictive and non-restrictive modification",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1985,
  number =	 "Report No. CSLI-85-28"
}

Institutions : abstract model theory for computer science, J.A. Goguen, R.M. Burstall
@TechReport{stan-csli-85-30,
  author = 	 "J.A. Goguen, R.M. Burstall",
  title = 	 "Institutions : abstract model theory for computer science",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1985,
  number =	 "Report No. CSLI-85-30"
}

A formal theory of knowledge and action, Robert C. Moore
@TechReport{stan-csli-85-31,
  author = 	 "Robert C. Moore",
  title = 	 "A formal theory of knowledge and action",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1985,
  number =	 "Report No. CSLI-85-31"
}

Finite state morphology : a review of koskenniemi (1983), Gerald Gazdar
@TechReport{stan-csli-85-32,
  author = 	 "Gerald Gazdar",
  title = 	 "Finite state morphology : a review of koskenniemi (1983)",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1985,
  number =	 "Report No. CSLI-85-32"
}

The role of logic in artificial intelligence, Robert C. Moore
@TechReport{stan-csli-85-33,
  author = 	 "Robert C. Moore",
  title = 	 "The role of logic in artificial intelligence",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1985,
  number =	 "Report No. CSLI-85-33"
}

Applicability of indexed grammars to natural languages, Gerald Gazdar
@TechReport{stan-csli-85-34,
  author = 	 "Gerald Gazdar",
  title = 	 "Applicability of indexed grammars to natural languages",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1985,
  number =	 "Report No. CSLI-85-34"
}

Commonsense summer : final report, Jerry R. Hobbs, et. al.
@TechReport{stan-csli-85-35,
  author = 	 "Jerry R. Hobbs, et. al.",
  title = 	 "Commonsense summer : final report",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1985,
  number =	 "Report No. CSLI-85-35"
}

Limits of correctness in computers, Brian Cantwell Smith
@TechReport{stan-csli-85-36,
  author = 	 "Brian Cantwell Smith",
  title = 	 "Limits of correctness in computers",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1985,
  number =	 "Report No. CSLI-85-36"
}

On the coherence and structure of discourse, Jerry R. Hobbs
@TechReport{stan-csli-85-37,
  author = 	 "Jerry R. Hobbs",
  title = 	 "On the coherence and structure of discourse",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1985,
  number =	 "Report No. CSLI-85-37"
}

The coherence of incoherent Discourse, Jerry R. Hobbs, Michael H. Agar
@TechReport{stan-csli-85-38,
  author = 	 "Jerry R. Hobbs, Michael H. Agar",
  title = 	 "The coherence of incoherent Discourse",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1985,
  number =	 "Report No. CSLI-85-38"
}

The structures of discourse structure, Barbara Grosz, Candace L. Sidner
@TechReport{stan-csli-85-39,
  author = 	 "Barbara Grosz, Candace L. Sidner",
  title = 	 "The structures of discourse structure",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1985,
  number =	 "Report No. CSLI-85-39"
}

, Christopher Menzel
@TechReport{stan-csli-86-40,
  author = 	 "Christopher Menzel",
  title = 	 "A complete, type-free "second-order" logic and its
		  philosophical foundations",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1986,
  number =	 "Report No. CSLI-86-40"
}

Possible-world semantics for autoepistemic logic, Robert C. Moore
@TechReport{stan-csli-85-41,
  author = 	 "Robert C. Moore",
  title = 	 "Possible-world semantics for autoepistemic logic",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1985,
  number =	 "Report No. CSLI-85-41"
}

On some formal properties of metarules, Hans Uszkoreit, Stanley Peters
@TechReport{stan-csli-85-43,
  author = 	 "Hans Uszkoreit, Stanley Peters",
  title = 	 "On some formal properties of metarules",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1985,
  number =	 "Report No. CSLI-85-43"
}

Language, mind, and information, John Perry
@TechReport{stan-csli-85-44,
  author = 	 "John Perry",
  title = 	 "Language, mind, and information",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1985,
  number =	 "Report No. CSLI-85-44"
}

Constraints on order, Hans Uszkoreit
@TechReport{stan-csli-86-46,
  author = 	 "Hans Uszkoreit",
  title = 	 "Constraints on order",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1986,
  number =	 "Report No. CSLI-86-46"
}

Linear Precedence in discontinuous constituents : complex fronting in German, Hans Uszkoreit
@TechReport{stan-csli-86-47,
  author = 	 "Hans Uszkoreit",
  title = 	 "Linear Precedence in discontinuous constituents :
		  complex fronting in German",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1986,
  number =	 "Report No. CSLI-86-47"
}

A compilation of papers on unification-based grammar formalisms parts I and II, Stuart M. Shieber, et. al.
@TechReport{stan-csli-86-48,
  author = 	 "Stuart M. Shieber, et. al.",
  title = 	 "A compilation of papers on unification-based grammar
		  formalisms parts I and II",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1986,
  number =	 "Report No. CSLI-86-48"
}

An algorithm for generating quantifier scopings, Jerry R. Hobbs, Stuart M. Shieber
@TechReport{stan-csli-86-49,
  author = 	 "Jerry R. Hobbs, Stuart M. Shieber",
  title = 	 "An algorithm for generating quantifier scopings",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1986,
  number =	 "Report No. CSLI-86-49"
}

Verbs of change, causation, and time, Dorit Abusch
@TechReport{stan-csli-86-50,
  author = 	 "Dorit Abusch",
  title = 	 "Verbs of change, causation, and time",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1986,
  number =	 "Report No. CSLI-86-50"
}

Noun phrase interpretation in montague grammar, file change semantics, and situation semantics, Mats Rooth
@TechReport{stan-csli-86-51,
  author = 	 "Mats Rooth",
  title = 	 "Noun phrase interpretation in montague grammar, file
		  change semantics, and situation semantics",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year =         1986,
  number =       "Report No. CSLI-86-51"
}

Noun phrases, generalized quantifiers and anaphora, Jon Barwise
@TechReport{stan-csli-86-52,
  author = 	 "Jon Barwise",
  title = 	 "Noun phrases, generalized quantifiers and anaphora",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1986,
  number =	 "Report No. CSLI-86-52"
}

circumstantial attitudes and benevolent cognition, John Perry
@TechReport{stan-csli-86-53,
  author = 	 "John Perry",
  title = 	 "circumstantial attitudes and benevolent cognition",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1986,
  number =	 "Report No. CSLI-86-53"
}

A study in the foundations of programming methodology : specifications, institutions, charters and parchments, Joseph A. Goguen, R.M. Burstall
@TechReport{stan-csli-86-54,
  author = 	 "Joseph A. Goguen, R.M. Burstall",
  title = 	 "A study in the foundations of programming
		  methodology : specifications, institutions, charters
		  and parchments",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1986,
  number =	 "Report No. CSLI-86-54"
}

Quantifiers in formal and natural languages, Dag Westerst\aahl
@TechReport{stan-csli-86-55,
  author = 	 "Dag Westerst{\aa}hl",
  title = 	 "Quantifiers in formal and natural languages",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1986,
  key =          "Dag Westerstahl",
  number =	 "Report No. CSLI-86-55"
}

Intentionality, information, and matter, Ivan Blair
@TechReport{stan-csli-86-56,
  author = 	 "Ivan Blair",
  title = 	 "Intentionality, information, and matter",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1986,
  number =	 "Report No. CSLI-86-56"
}

Graphs and grammars, William Marsh
@TechReport{stan-csli-86-57,
  author = 	 "William Marsh",
  title = 	 "Graphs and grammars",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1986,
  number =	 "Report No. CSLI-86-57"
}

Computer aids for comparative dictionaries, Mark Johnson
@TechReport{stan-csli-86-58,
  author = 	 "Mark Johnson",
  title = 	 "Computer aids for comparative dictionaries",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1986,
  number =	 "Report No. CSLI-86-58"
}

The relevance of computational linguistics, Lauri Karttunen
@TechReport{stan-csli-86-59,
  author = 	 "Lauri Karttunen",
  title = 	 "The relevance of computational linguistics",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1986,
  number =	 "Report No. CSLI-86-59"
}

Grammatical hierarchy and linear precedence, Ivan A. Sag
@TechReport{stan-csli-86-60,
  author = 	 "Ivan A. Sag",
  title = 	 "Grammatical hierarchy and linear precedence",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1986,
  number =	 "Report No. CSLI-86-60"
}

D-PATR : a development environment for unification-based grammars, Lauri Karttunen
@TechReport{stan-csli-86-61,
  author = 	 "Lauri Karttunen",
  title = 	 "D-PATR : a development environment for
		  unification-based grammars",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1986,
  number =	 "Report No. CSLI-86-61"
}

A sheaf-theoretic model of concurrency, Lu\'is F. Monteiro, Fernando C.N. Pereira
@TechReport{stan-csli-86-62,
  author = 	 "Lu{\'{i}}s F. Monteiro, Fernando C.N. Pereira",
  title = 	 "A sheaf-theoretic model of concurrency",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1986,
  key =          "Luis F. Monteiro",
  number =	 "Report No. CSLI-86-62"
}

Discourse, anaphora and parsing, Mark Johnson, Ewan Klein
@TechReport{stan-csli-86-63,
  author = 	 "Mark Johnson, Ewan Klein",
  title = 	 "Discourse, anaphora and parsing",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1986,
  number =	 "Report No. CSLI-86-63"
}

Tarski on truth and logical consequence, John Etchemendy
@TechReport{stan-csli-86-64,
  author = 	 "John Etchemendy",
  title = 	 "Tarski on truth and logical consequence",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1986,
  number =	 "Report No. CSLI-86-64"
}

The LFG treatment of discontinuity and the double infinitive construction in dutch, Mark Johnson
@TechReport{stan-csli-86-65,
  author = 	 "Mark Johnson",
  title = 	 "The LFG treatment of discontinuity and the double
		  infinitive construction in dutch",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1986,
  number =	 "Report No. CSLI-86-65"
}

Categorial unification grammars, Hans Uszkoreit
@TechReport{stan-csli-86-66,
  author = 	 "Hans Uszkoreit",
  title = 	 "Categorial unification grammars",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1986,
  number =	 "Report No. CSLI-86-66"
}

Generalized quantifiers and plurals, Godehard Link
@TechReport{stan-csli-86-67,
  author = 	 "Godehard Link",
  title = 	 "Generalized quantifiers and plurals",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1986,
  number =	 "Report No. CSLI-86-67"
}

Radical lexicalism, Lauri Karttunen
@TechReport{stan-csli-86-68,
  author = 	 "Lauri Karttunen",
  title = 	 "Radical lexicalism",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1986,
  number =	 "Report No. CSLI-86-68"
}

Understanding computers and cognition four reviews and a response, Mark Stefik (Ed)
@TechReport{stan-csli-87-70,
  title = 	 "Understanding computers and cognition four reviews
		  and a response",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  editor =       "Mark Stefik",
  number =	 "Report No. CSLI-87-70"
}

The role of propositional objects of belief in action, David J. Israel
@TechReport{stan-csli-87-72,
  author = 	 "David J. Israel",
  title = 	 "The role of propositional objects of belief in action",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-72"
}

From worlds to situations, John Perry
@TechReport{stan-csli-87-73,
  author = 	 "John Perry",
  title = 	 "From worlds to situations",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-73"
}

Two replies, Jon Barwise
@TechReport{stan-csli-87-74,
  author = 	 "Jon Barwise",
  title = 	 "Two replies",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-74"
}

Semantics of clocks, Brian Cantwell Smith
@TechReport{stan-csli-87-75,
  author = 	 "Brian Cantwell Smith",
  title = 	 "Semantics of clocks",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-75"
}

The parts of perception, Alexander Pentland
@TechReport{stan-csli-87-77,
  author = 	 "Alexander Pentland",
  title = 	 "The parts of perception",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-77"
}

Topic, pronoun, and agreement in chiche\^wa, Joan Bresnan, Sam Mchombo
@TechReport{stan-csli-87-78,
  author = 	 "Joan Bresnan, Sam Mchombo",
  title = 	 "Topic, pronoun, and agreement in chiche{\^{w}}a",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  key =		 "chichewa",
  number =	 "Report No. CSLI-87-78"
}

Muir : a tool for language design, Terry Winograd
@TechReport{stan-csli-87-81,
  author = 	 "Terry Winograd",
  title = 	 "Muir : a tool for language design",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-81"
}

Final algebras, cosemicomputable algebras, and degrees of unsolvability, Lawrence S. Moss, Jos\'e Meseguer, Joseph A. Goguen
@TechReport{stan-csli-87-82,
  author = 	 "Lawrence S. Moss, Jos{\'{e}} Meseguer, Joseph A. Goguen",
  title = 	 "Final algebras, cosemicomputable algebras, and
		  degrees of unsolvability",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  key =		 "Jose Meseguer",
  number =	 "Report No. CSLI-87-82"
}

The synthesis of digital machines with provable epistemic properties, Stanley J. Rosenschein, Leslie Pack Kaelbling
@TechReport{stan-csli-87-83,
  author = 	 "Stanley J. Rosenschein, Leslie Pack Kaelbling",
  title = 	 "The synthesis of digital machines with provable
		  epistemic properties",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-83"
}

Formal theories of knowledge in AI and robotics, Stanley J. Rosenschein
@TechReport{stan-csli-87-84,
  author = 	 "Stanley J. Rosenschein",
  title = 	 "Formal theories of knowledge in AI and robotics",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-84"
}

An architecture for intelligent reactive systems, Leslie Pack Kaelbling
@TechReport{stan-csli-87-85,
  author = 	 "Leslie Pack Kaelbling",
  title = 	 "An architecture for intelligent reactive systems",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-85"
}

Modular algebraic specification of some basic geometrical constructions, Joseph A. Goguen
@TechReport{stan-csli-87-87,
  author = 	 "Joseph A. Goguen",
  title = 	 "Modular algebraic specification of some basic
		  geometrical constructions",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-87"
}

Persistence, intention and commitment, Philip R. Cohen, Hector J. Levesque
@TechReport{stan-csli-87-88,
  author = 	 "Philip R. Cohen, Hector J. Levesque",
  title = 	 "Persistence, intention and commitment",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-88"
}

An application of default logic to speech act theory, C.Raymond Perrault
@TechReport{stan-csli-87-90,
  author = 	 "C.Raymond Perrault",
  title = 	 "An application of default logic to speech act theory",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-90"
}

Models and equality for logical programming, Joseph A. Goguen, Jos\'e Meseguer
@TechReport{stan-csli-87-91,
  author = 	 "Joseph A. Goguen, Jos{\'{e}} Meseguer",
  title = 	 "Models and equality for logical programming",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  key =		 "Jose Meseguer",
  number =	 "Report No. CSLI-87-91"
}

Unifying functional, object-oriented and relational programming with logical semantics, Joseph A. Goguen, Jos\'e Meseguer
@TechReport{stan-csli-87-93,
  author = 	 "Joseph A. Goguen, Jos{\'{e}} Meseguer",
  title = 	 "Unifying functional, object-oriented and relational
		  programming with logical semantics",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  key =          "Jose Meseguer",
  number =	 "Report No. CSLI-87-93"
}

One, none, a hundred thousand specification languages, Joseph A. Goguen
@TechReport{stan-csli-87-96,
  author = 	 "Joseph A. Goguen",
  title = 	 "One, none, a hundred thousand specification languages",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-96"
}

Constituent coordination in HPSG, Derek Proudian, David Goddeau
@TechReport{stan-csli-87-97,
  author = 	 "Derek Proudian, David Goddeau",
  title = 	 "Constituent coordination in HPSG",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-97"
}

A language / action perspective on the design of cooperative work, Terry Winograd
@TechReport{stan-csli-87-98,
  author = 	 "Terry Winograd",
  title = 	 "A language / action perspective on the design of
		  cooperative work",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Reort No. CSLI-87-98"
}

Implicature and definite reference, Jerry R. Hobbs
@TechReport{stan-csli-87-99,
  author = 	 "Jerry R. Hobbs",
  title = 	 "Implicature and definite reference",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Reprt No. CSLI-87-99"
}

Thinking machines : Can there be? Are we?, Terry Winograd
@TechReport{stan-csli-87-100,
  author = 	 "Terry Winograd",
  title = 	 "Thinking machines : Can there be? Are we?",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-100"
}

Situation semantics and semantic interpretation in constraint-based grammars, Per-Kristian Halvorsen
@TechReport{stan-csli-87-101,
  author = 	 "Per-Kristian Halvorsen",
  title = 	 "Situation semantics and semantic interpretation in
		  constraint-based grammars",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-101"
}

Category structures, Gerald Gazdar, et. al.
@TechReport{stan-csli-87-102,
  author = 	 "Gerald Gazdar, et. al.",
  title = 	 "Category structures",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-102"
}

Cognitive theories of emotion, Ronald Alan Nash
@TechReport{stan-csli-87-103,
  author = 	 "Ronald Alan Nash",
  title = 	 "Cognitive theories of emotion",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-103"
}

Toward an architecture for resource-bounded agents, Martha E. Pollack, David J. Israel, Michael E. Bratman
@TechReport{stan-csli-87-104,
  author = 	 "Martha E. Pollack, David J. Israel, Michael E. Bratman",
  title = 	 "Toward an architecture for resource-bounded agents",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-104"
}

On the relation between default and autoepistemic logic, Kurt Konolige
@TechReport{stan-csli-87-105,
  author = 	 "Kurt Konolige",
  title = 	 "On the relation between default and autoepistemic logic",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-105"
}

Three responses to situation theory, Terry Winograd
@TechReport{stan-csli-87-106,
  author = 	 "Terry Winograd",
  title = 	 "Three responses to situation theory",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-106"
}

Subjects and complements in HPSG, Robert D. Borsley
@TechReport{stan-csli-87-107,
  author = 	 "Robert D. Borsley",
  title = 	 "Subjects and complements in HPSG",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-107"
}

Tools for morphological analysis, Mary Dalrymple, et. al.
@TechReport{stan-csli-87-108,
  author = 	 "Mary Dalrymple, et. al.",
  title = 	 "Tools for morphological analysis",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-108"
}

Cognitive significance and new theories of reference, John Perry
@TechReport{stan-csli-87-109,
  author = 	 "John Perry",
  title = 	 "Cognitive significance and new theories of reference",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-109"
}

Fourth year report of the situated language research program,
@TechReport{stan-csli-87-111,
   title = 	 "Fourth year report of the situated language research
		  program",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-111"
}

Bare plurals, naked relatives, and their kin, Dietmar Zaefferer
@TechReport{stan-csli-87-112,
  author = 	 "Dietmar Zaefferer",
  title = 	 "Bare plurals, naked relatives, and their kin",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-112"
}

Events and°∆logical form', Stephen Neale
@TechReport{stan-csli-87-113,
  author = 	 "Stephen Neale",
  title = 	 "Events and°∆logical form'",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-113"
}

Backwards anaphora and discourse structure : some considerations, Peter Sells
@TechReport{stan-csli-87-114,
  author = 	 "Peter Sells",
  title = 	 "Backwards anaphora and discourse structure : some
		  considerations",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-114"
}

Toward a linking theory of relation changing rules in LFG, Lori Levin
@TechReport{stan-csli-87-115,
  author = 	 "Lori Levin",
  title = 	 "Toward a linking theory of relation changing rules
		  in LFG",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1987,
  number =	 "Report No. CSLI-87-115"
}

Fuzzy logic, L.A. Zadeh
@TechReport{stan-csli-88-116,
  author = 	 "L.A. Zadeh",
  title = 	 "Fuzzy logic",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1988,
  number =	 "Report No. CSLI-88-116"
}

Dispositional logic and commonsense reasoning, L.A. Zadeh
@TechReport{stan-csli-88-117,
  author = 	 "L.A. Zadeh",
  title = 	 "Dispositional logic and commonsense reasoning",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1988,
  number =	 "Report No. CSLI-88-117"
}

Intention and personal policies, Michael Bratman
@TechReport{stan-csli-88-118,
  author = 	 "Michael Bratman",
  title = 	 "Intention and personal policies",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1988,
  number =	 "Report No. CSLI-88-118"
}

Unification and agreement, Michael Barlow
@TechReport{stan-csli-88-120,
  author = 	 "Michael Barlow",
  title = 	 "Unification and agreement",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1988,
  number =	 "Report No. CSLI-88-120"
}

Extended categorial grammar, Suson Yoo, Kiyong Lee
@TechReport{stan-csli-88-121,
  author = 	 "Suson Yoo, Kiyong Lee",
  title = 	 "Extended categorial grammar",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1988,
  number =	 "Report No. CSLI-88-121"
}

The situation in logic-IV : on the model theory of common knowledge, Jon Barwise
@TechReport{stan-csli-88-122,
  author = 	 "Jon Barwise",
  title = 	 "The situation in logic-IV : on the model theory of
		  common knowledge",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1988,
  number =	 "Report No. CSLI-88-122"
}

Unaccusative verbs in Dutch and the syntax-semantics interface, Annie Zaenen
@TechReport{stan-csli-88-123,
  author = 	 "Annie Zaenen",
  title = 	 "Unaccusative verbs in Dutch and the syntax-semantics
		  interface",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1988,
  number =	 "Report No. CSLI-88-123"
}

What is unification? : a categorical view of substitution, equation and solution, Joseph A. Goguen
@TechReport{stan-csli-88-124,
  author = 	 "Joseph A. Goguen",
  title = 	 "What is unification? : a categorical view of
		  substitution, equation and solution",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1988,
  number =	 "Report No. CSLI-88-124"
}

Types and tokens in linguistics, Sylvain Bromberger
@TechReport{stan-csli-88-125,
  author = 	 "Sylvain Bromberger",
  title = 	 "Types and tokens in linguistics",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1988,
  number =	 "Report No. CSLI-88-125"
}

Determination, uniformity,and relevance : normative criteria for generalization and reasoning by analogy, Todd R. Davies
@TechReport{stan-csli-88-126,
  author = 	 "Todd R. Davies",
  title = 	 "Determination, uniformity,and relevance : normative
		  criteria for generalization and reasoning by analogy",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1988,
  number =	 "Report No. CSLI-88-126"
}

Modal subordination and pronominal anaphora in discourse, Craige Roberts
@TechReport{stan-csli-88-127,
  author = 	 "Craige Roberts",
  title = 	 "Modal subordination and pronominal anaphora in discourse",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1988,
  number =	 "Report No. CSLI-88-127"
}

The prince and the phone booth : reporting puzzling beliefs, Mark Crimmins, John Perry
@TechReport{stan-csli-88-128,
  author = 	 "Mark Crimmins, John Perry",
  title = 	 "The prince and the phone booth : reporting puzzling beliefs",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1988,
  number =	 "Report No. CSLI-88-128"
}

Set values for unification-based grammar formalisms and logic programming, William C. Rounds
@TechReport{stan-csli-88-129,
  author = 	 "William C. Rounds",
  title = 	 "Set values for unification-based grammar formalisms
		  and logic programming",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1988,
  number =	 "Report No. CSLI-88-129"
}

Fifth year report of the situated language research program,
@TechReport{stan-csli-88-130,
  title = 	 "Fifth year report of the situated language research program",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1988,
  number =	 "Report No. CSLI-88-130"
}

Locative inversion in Chiche\^wa : a case study of factorization in grammar, Joan Bresnan, Jonni M. Kanerva
@TechReport{stan-csli-88-131,
  author = 	 "Joan Bresnan, Jonni M. Kanerva",
  title = 	 "Locative inversion in Chiche{\^{w}}a : a case study
		  of factorization in grammar",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1988,
  key =          "chichewa",
  number =	 "Report No. CSLI-88-131"
}

Relating models of polymorphism, Jos\'e Meseguer
@TechReport{stan-csli-88-133,
  author = 	 "Jos{\'{e}} Meseguer",
  title = 	 "Relating models of polymorphism",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1988,
  key =          "Jose Meseguer",
  number =	 "Report No. CSLI-88-133"
}

Fregean thoughts and indexicals, Patricia Blanchette
@TechReport{stan-csli-88-134,
  author = 	 "Patricia Blanchette",
  title = 	 "Fregean thoughts and indexicals",
  institution =  "Center for the Study of Language and
		  Information, Stanford University",
  year = 	 1988,
  number =	 "Report No. CSLI-88-134"
}