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"
}
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"
}
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"
}
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"
}