Sciweavers

6618 search results - page 247 / 1324
» Natural Logic for Natural Language
Sort
View
ACL
1990
15 years 7 months ago
Automated Inversion of Logic Grammars for Generation
We describe a system of reversible grammar in which, given a logic-grammar specification of a natural language, two efficient PROLOGprograms are derived by an off-line compilation...
Tomek Strzalkowski, Ping Peng
MODELS
2009
Springer
16 years 1 months ago
Catch Me If You Can - Debugging Support for Model Transformations
Abstract. Model-Driven Engineering places models as first-class artifacts throughout the software lifecycle requiring the availability of proper transformation languages. Although...
Johannes Schönböck, Gerti Kappel, Angeli...
EACL
2009
ACL Anthology
16 years 7 months ago
The Software Architecture for the First Challenge on Generating Instructions in Virtual Environments
The GIVE Challenge is a new Internetbased evaluation effort for natural language generation systems. In this paper, we motivate and describe the software infrastructure that we de...
Alexander Koller, Donna Byron, Justine Cassell, Ro...
FM
2009
Springer
95views Formal Methods» more  FM 2009»
16 years 1 months ago
A Robust Semantics Hides Fewer Errors
Steve Reeves, David Streader
FM
2009
Springer
80views Formal Methods» more  FM 2009»
16 years 1 months ago
Unifying Probability with Nondeterminism
Yifeng Chen, Jeff W. Sanders