Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
38,940
Discourse Representation Structures for ACE 6.0
, 2008
"... This technical report describes the discourse representation structures (DRS) derived from texts written in version 6.0 of Attempto Controlled English (ACE 6.0). The description is done by an exhaustive set of examples. Among other things, ACE 6.0 supports modal statements, negation as failure, and ..."
Abstract
-
Cited by 6 (3 self)
- Add to MetaCart
This technical report describes the discourse representation structures (DRS) derived from texts written in version 6.0 of Attempto Controlled English (ACE 6.0). The description is done by an exhaustive set of examples. Among other things, ACE 6.0 supports modal statements, negation as failure
U.: Discourse Representation Structures for ACE 5
, 2006
"... This technical report describes the discourse representation structures (DRS) derived from texts written in version 5 of Attempto Controlled English (ACE 5). Among other things, ACE 5 supports modal statements, negation as failure, and sentence subordination. These features require an extended form ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
This technical report describes the discourse representation structures (DRS) derived from texts written in version 5 of Attempto Controlled English (ACE 5). Among other things, ACE 5 supports modal statements, negation as failure, and sentence subordination. These features require an extended form
Discourse Representation Structures for ACE 6.5
"... This technical report describes the discourse representation structures (DRS) derived from texts written in version 6.5 of Attempto Controlled English (ACE 6.5). The description is done by an exhaustive set of examples. Among other things, ACE 6.5 supports modal statements, negation as failure, and ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
This technical report describes the discourse representation structures (DRS) derived from texts written in version 6.5 of Attempto Controlled English (ACE 6.5). The description is done by an exhaustive set of examples. Among other things, ACE 6.5 supports modal statements, negation as failure
Discourse Representation Structures for ACE 5.5
"... This technical report describes the discourse representation structures (DRS) derived from texts written in version 5.5 of Attempto Controlled English (ACE 5.5). The description is done by an exhaustive set of examples. Among other things, ACE 5.5 supports modal statements, negation as failure, and ..."
Abstract
- Add to MetaCart
This technical report describes the discourse representation structures (DRS) derived from texts written in version 5.5 of Attempto Controlled English (ACE 5.5). The description is done by an exhaustive set of examples. Among other things, ACE 5.5 supports modal statements, negation as failure
Discourse Representation Structures (UDRSs) [Frank
, 1994
"... The previously proposed semantic-head-driven generation methods run into problems if none of the daughter constituents in the syntacto-semantic rule schemata of a grammar fits the definition of a semantic head given in [Shieber et al., 1990]. This is the case for the semantic analysis rules of certa ..."
UGroningen: Negation detection with Discourse Representation Structures
"... We use the NLP toolchain that is used to construct the Groningen Meaning Bank to address the task of detecting negation cue and scope, as defined in the shared task “Resolving the Scope and Focus of Negation”. This toolchain applies the C&C tools for parsing, using the formalism of Combinatory C ..."
Abstract
-
Cited by 3 (0 self)
- Add to MetaCart
Categorial Grammar, and applies Boxer to produce semantic representations in the form of Discourse Representation Structures (DRSs). For negation cue detection, the DRSs are converted to flat, non-recursive structures, called Discourse Representation Graphs (DRGs). DRGs simplify cue detection by means
Dynamic Model Checking of Discourse Representation Structures with Pluralities ∗
"... Model checking for First Order Logic is a computationally demanding task. Matters become worse in systems that typically yield fairly large and complex formulas, and that also include the representation of pluralities. This is the case of Discourse Representation Theory (Kamp and Reyle 1993), in whi ..."
Abstract
- Add to MetaCart
Model checking for First Order Logic is a computationally demanding task. Matters become worse in systems that typically yield fairly large and complex formulas, and that also include the representation of pluralities. This is the case of Discourse Representation Theory (Kamp and Reyle 1993
NPI Licensing, Intervention and Discourse Representation Structures in HPSG
- PROCEEDINGS OF THE HPSG07 CONFERENCE; STANFORD DEPARTMENT OF LINGUISTICS AND CSLI’S LINGO LAB, STEFAN MÜLLER (EDITOR)
, 2007
"... Negative Polarity Items (NPI) are expressions such as English ever and lift a finger that only occur in sentences that are somehow “negative”. NPIs have puzzled linguists working in syntax, semantics and pragmatics, but no final conclusion as to which module of the grammar should be responsible for ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
directly. Adopting Discourse Representation Theory (DRT, Kamp and Reyle (1993); von Genabith et al. (2004)) I show that it is possible to formulate a theory of NPI licensing that uses purely representational notions. In contrast to most other frameworks in semantics, DRT attributes theoretical significance
A Matrix Proof Method for Underspecified Discourse Representation Structures
"... Matrix-based proof methods do not enumerate proof trees as such but collect constraints on possible proof trees. A satisfiable set of constraints stands for a non-empty set of proof trees. Recently, this method of structural underspecification on the meta-level (the level of proofs) has found a coun ..."
Abstract
- Add to MetaCart
counterpart on the object-level (the formulas): Reyle's Underspecified Discourse Representation Structures (UDRS's) [11], a linguistically motivated variant of Predicate Logic. We merge the two levels of structural underspecification in order to obtain a matrix-based proof system which reasons
Disambiguation of Underspecified Discourse Representation Structures under Anaphoric Constraints
- In Proceedings of IWCS-2
, 1997
"... The paper explores the possibility of performing anaphora resolution and presupposition accommodation in a situation where scope relations are only partially known. For underspecification of scope ambiguity, the approach builds on Reyle's formalism of Underspecified Discourse Representation Str ..."
Abstract
- Add to MetaCart
The paper explores the possibility of performing anaphora resolution and presupposition accommodation in a situation where scope relations are only partially known. For underspecification of scope ambiguity, the approach builds on Reyle's formalism of Underspecified Discourse Representation
Results 1 - 10
of
38,940
