中文
相关论文

相关论文: Coordination in Tree Adjoining Grammars: Formaliza…

200 篇论文

This note presents a method of interpreting the tree adjoining languages as the natural third step in a hierarchy that starts with the regular and the context-free languages. The central notion in this account is that of a higher-order…

cmp-lg · 计算机科学 2008-02-03 Uwe Moennich

The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistently specified at a detailed and a global level of abstraction.…

计算机科学中的逻辑 · 计算机科学 2011-08-10 Suzana Andova , Luuk Groenewegen , Erik de Vink

Separation Logic (SL) with inductive definitions is a natural formalism for specifying complex recursive data structures, used in compositional verification of programs manipulating such structures. The key ingredient of any automated…

计算机科学中的逻辑 · 计算机科学 2014-02-12 Radu Iosif , Adam Rogalewicz , Tomas Vojnar

The task of translating between programming languages differs from the challenge of translating natural languages in that programming languages are designed with a far more rigid set of structural and grammatical rules. Previous work has…

Linguists have long held that a key aspect of natural language syntax is the recursive organization of language units into constituent structures, and research has suggested that current state-of-the-art language models lack an inherent…

计算与语言 · 计算机科学 2024-11-27 Michael Ginn

Large Language Models (LLMs) are adept at generating responses based on information within their context. While this ability is useful for interacting with structured data like code files, another popular method, Retrieval-Augmented…

计算与语言 · 计算机科学 2025-10-22 Mihir Gupte , Paolo Giusto , Ramesh S

Parsing Expression Grammars (PEGs) are a formalism that can describe all deterministic context-free languages through a set of rules that specify a top-down parser for some language. PEGs are easy to use, and there are efficient…

形式语言与自动机理论 · 计算机科学 2014-02-17 Sérgio Medeiros , Fabio Mascarenhas , Roberto Ierusalimschy

This paper reports on the "Learning Computational Grammars" (LCG) project, a postdoc network devoted to studying the application of machine learning techniques to grammars suitable for computational use. We were interested in a more…

We present a graph-based Tree Adjoining Grammar (TAG) parser that uses BiLSTMs, highway connections, and character-level CNNs. Our best end-to-end parser, which jointly performs supertagging, POS tagging, and parsing, outperforms the…

计算与语言 · 计算机科学 2018-05-01 Jungo Kasai , Robert Frank , Pauli Xu , William Merrill , Owen Rambow

Previous work on English determiners has primarily concentrated on their semantics or scoping properties rather than their complex ordering behavior. The little work that has been done on determiner ordering generally splits determiners…

cmp-lg · 计算机科学 2008-02-03 Beth Ann Hockey , Dania Egedi

Predicting answers to queries over knowledge graphs is called a complex reasoning task because answering a query requires subdividing it into subqueries. Existing query embedding methods use this decomposition to compute the embedding of a…

数据库 · 计算机科学 2025-02-26 Yunjie He , Bo Xiong , Daniel Hernández , Yuqicheng Zhu , Evgeny Kharlamov , Steffen Staab

In this paper, we address the representation of coordinate constructions in Enhanced Universal Dependencies (UD), where relevant dependency links are propagated from conjunction heads to other conjuncts. English treebanks for enhanced UD…

计算与语言 · 计算机科学 2021-03-17 Stefan Grünewald , Prisca Piccirilli , Annemarie Friedrich

Parsing sentences into syntax trees can benefit downstream applications in NLP. Transition-based parsers build trees by executing actions in a state transition system. They are computationally efficient, and can leverage machine learning to…

计算与语言 · 计算机科学 2020-10-29 Kaiyu Yang , Jia Deng

Typical spoken language understanding systems provide narrow semantic parses using a domain-specific ontology. The parses contain intents and slots that are directly consumed by downstream domain applications. In this work we discuss…

计算与语言 · 计算机科学 2018-10-30 Sanchit Agarwal , Rahul Goel , Tagyoung Chung , Abhishek Sethi , Arindam Mandal , Spyros Matsoukas

This paper presents a novel framework for structured argumentation, named extend argumentative decision graph ($xADG$). It is an extension of argumentative decision graphs built upon Dung's abstract argumentation graphs. The $xADG$…

人工智能 · 计算机科学 2023-11-15 Lucas Rizzo , Luca Longo

As the key to sentiment analysis, sentiment composition considers the classification of a constituent via classifications of its contained sub-constituents and rules operated on them. Such compositionality has been widely studied previously…

计算与语言 · 计算机科学 2023-09-01 Zhongtao Jiang , Yuanzhe Zhang , Cao Liu , Jiansong Chen , Jun Zhao , Kang Liu

This paper describes a computational framework for a grammar architecture in which different linguistic domains such as morphology, syntax, and semantics are treated not as separate components but compositional domains. Word and phrase…

cmp-lg · 计算机科学 2008-02-03 Cem Bozsahin , Elvan Gocmen

Semantic parsing is the task of producing a structured meaning representation for natural language utterances or questions. Recent research has pointed out that the commonly-used sequence-to-sequence (seq2seq) semantic parsers struggle to…

计算与语言 · 计算机科学 2022-06-06 Dora Jambor , Dzmitry Bahdanau

This paper presents a tree-to-tree transduction method for sentence compression. Our model is based on synchronous tree substitution grammar, a formalism that allows local distortion of the tree topology and can thus naturally capture…

计算与语言 · 计算机科学 2014-01-23 Trevor Anthony Cohn , Mirella Lapata

Constituent and dependency representation for syntactic structure share a lot of linguistic and computational characteristics, this paper thus makes the first attempt by introducing a new model that is capable of parsing constituent and…

计算与语言 · 计算机科学 2019-09-27 Junru Zhou , Shuailiang Zhang , Hai Zhao