Sciweavers

6618 search results - page 392 / 1324
» Natural Logic for Natural Language
Sort
View
EACL
2003
ACL Anthology
15 years 8 months ago
Information Structure in Topological Dependency Grammar
Topological Dependency Grammar (TDG) is a lexicalized dependency grammar formalism, able to model languages with a relatively free word order. In such languages, word order variat...
Geert-Jan M. Kruijff, Denys Duchier
EACL
1989
ACL Anthology
15 years 8 months ago
Translation By Structural Correspondences
We sketch and illustrate an approach to machine translation that exploits the potential of simultaneous correspondences between separate levels of linguistic representation, as fo...
Ronald M. Kaplan, Klaus Netter, Jürgen Wedeki...
ACL
2010
15 years 5 months ago
Beetle II: A System for Tutoring and Computational Linguistics Experimentation
We present BEETLE II, a tutorial dialogue system designed to accept unrestricted language input and support experimentation with different tutorial planning and dialogue strategie...
Myroslava Dzikovska, Johanna D. Moore, Natalie B. ...
EMNLP
2010
15 years 4 months ago
A Game-Theoretic Approach to Generating Spatial Descriptions
Language is sensitive to both semantic and pragmatic effects. To capture both effects, we model language use as a cooperative game between two players: a speaker, who generates an...
Dave Golland, Percy Liang, Dan Klein
LICS
1999
IEEE
15 years 11 months ago
First-Order Logic vs. Fixed-Point Logic in Finite Set Theory
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...
Albert Atserias, Phokion G. Kolaitis