Publications
-
Providing A Unified Account Of Definite Noun Phrases In Discourse
This paper focuses on the use of various referring expressions such as definite noun phrases and pronouns and examines their interaction with mechanisms used to maintain discourse coherence.
-
Can Drawing Be Liberated From The Von Neumann Style?
Current graphics database tools give the user a view of drawing that is too constrained by the low-level machine operations used to implement the tools. A new approach to graphics…
-
Semantical Considerations On Nonmonotonic Logic
We define an intuitively based semantics for which we can show autoepistemic logic to be both sound and complete. We then compare autoepistemic logic with the approach of McDermott and…
-
Telegram: A Grammar Formalism For Language Planning
The TELEGRAM system described in this paper solves this problem by annotating a unification grammar with assertions about how grammatical choices are used to achieve various goals, and by enabling…
-
The Relationship Between Image Irradiance and Surface Orientation
A formulation of shape from shading is presented in which surface orientation is related to image irradiance without requiring detailed knowledge of either the scene illumination or the albedo of…
-
Applied Logic and Its Use and Implementation As A Programming Tool
The first part of the thesis explains from first principles the concept of "logic programming’’ and its practical application in the programming language Prolog.
-
Shape From Shading: An Assessment
In dealing with the question of what surface parameters can be recovered locally from image shading, we show that, at most, shading determines relative surface curvature, i.e., the ratio of…
-
A Framework For Processing Partially Free Word Order
The linguistic framework of Generalized Phrase Structure Grammar offers tools for dealing with word order variation. Some slight modifications to the framework allow for an analysis of the German data…
-
Formal Constraints On Metarules
We evaluate several proposals for constraining them, basing our assessment on computational tractability and explanatory adequacy. We show that none of them satisfies both criteria, and suggest new directions for…
-
A New Characterization Of Attachment Preferences
By starting from a precise choice of parsing model, it is possible to give a simple and rigorous description of Minimal Attachment and Right Association that avoids some of the…
-
Sentence Disambiguation By A Shift-Reduce Parsing Technique
We have developed a parsing algorithm–a variant of the LALR(1) shift-reduce algorithm–that models the preference behavior of native speakers for a range of syntactic preference phenomena reported in the psycholinguistic…
-
A Representation Of Time For Planning
A new time representation is described that allows a continuously changing world to be represented, so that queries about the truth of a proposition at an instant or over an…