English
Related papers

Related papers: Universal Dependencies to Logical Forms with Negat…

200 papers

Universal Dependencies (UD) offer a uniform cross-lingual syntactic representation, with the aim of advancing multilingual applications. Recent work shows that semantic parsing can be accomplished by transforming syntactic dependencies to…

Computation and Language · Computer Science 2017-08-30 Siva Reddy , Oscar Täckström , Slav Petrov , Mark Steedman , Mirella Lapata

Representation learning is the foundation of natural language processing (NLP). This work presents new methods to employ visual information as assistant signals to general NLP tasks. For each sentence, we first retrieve a flexible number of…

Computation and Language · Computer Science 2023-01-10 Zhuosheng Zhang , Kehai Chen , Rui Wang , Masao Utiyama , Eiichiro Sumita , Zuchao Li , Hai Zhao

Languages may encode similar meanings using different sentence structures. This makes it a challenge to provide a single set of formal rules that can derive meanings from sentences in many languages at once. To overcome the challenge, we…

Computation and Language · Computer Science 2024-03-05 Laurestine Bradford , Timothy John O'Donnell , Siva Reddy

We propose UDP, the first training-free parser for Universal Dependencies (UD). Our algorithm is based on PageRank and a small set of head attachment rules. It features two-step decoding to guarantee that function words are attached as leaf…

Computation and Language · Computer Science 2017-01-13 Héctor Martínez Alonso , Željko Agić , Barbara Plank , Anders Søgaard

Various linearizations have been proposed to cast syntactic dependency parsing as sequence labeling. However, these approaches do not support more complex graph-based representations, such as semantic dependencies or enhanced universal…

Computation and Language · Computer Science 2024-10-24 Ana Ezquerro , David Vilares , Carlos Gómez-Rodríguez

Deverbal nouns are nominal forms of verbs commonly used in written English texts to describe events or actions, as well as their arguments. However, many NLP systems, and in particular pattern-based ones, neglect to handle such nominalized…

Computation and Language · Computer Science 2023-06-27 Aviv Weinstein , Yoav Goldberg

Deep learning methods capable of handling relational data have proliferated over the last years. In contrast to traditional relational learning methods that leverage first-order logic for representing such data, these deep learning methods…

Machine Learning · Computer Science 2020-03-25 Sebastijan Dumancic , Tias Guns , Wannes Meert , Hendrik Blockeel

This short note presents a new formal language, lambda dependency-based compositional semantics (lambda DCS) for representing logical forms in semantic parsing. By eliminating variables and making existential quantification implicit, lambda…

Artificial Intelligence · Computer Science 2013-09-19 Percy Liang

Logics for knowledge representation suffer from over-specialization: while each logic may provide an ideal representation formalism for some problems, it is less than optimal for others. A solution to this problem is to choose from several…

Artificial Intelligence · Computer Science 2007-05-23 G. Antoniou , D. Billigton , G. Governatori , M. J. Maher

Universal Dependencies is an open community effort to create cross-linguistically consistent treebank annotation for many languages within a dependency-based lexicalist framework. The annotation consists in a linguistically motivated word…

Dependently typed lambda calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types" notion, such calculi can also encode the correspondence between…

Logic in Computer Science · Computer Science 2010-07-07 Zachary Snow , David Baelde , Gopalan Nadathur

The Universal Dependencies (UD) and Universal Morphology (UniMorph) projects each present schemata for annotating the morphosyntactic details of language. Each project also provides corpora of annotated text in many languages - UD at the…

Computation and Language · Computer Science 2019-10-28 Arya D. McCarthy , Miikka Silfverberg , Ryan Cotterell , Mans Hulden , David Yarowsky

Negation scope has been annotated in several English and Chinese corpora, and highly accurate models for this task in these languages have been learned from these annotations. Unfortunately, annotations are not available in other languages.…

Computation and Language · Computer Science 2018-10-05 Federico Fancellu , Adam Lopez , Bonnie Webber

Negation and uncertainty modeling are long-standing tasks in natural language processing. Linguistic theory postulates that expressions of negation and uncertainty are semantically independent from each other and the content they modify.…

Computation and Language · Computer Science 2022-04-04 Jake Vasilakes , Chrysoula Zerva , Makoto Miwa , Sophia Ananiadou

We examine the class of languages that can be defined entirely in terms of provability in an extension of the sorted type theory (Ty_n) by embedding the logic of phonologies, without introduction of special types for syntactic entities.…

Computation and Language · Computer Science 2011-02-28 Victor Gluzberg

Answering logical queries over incomplete knowledge bases is challenging because: 1) it calls for implicit link prediction, and 2) brute force answering of existential first-order logic queries is exponential in the number of existential…

Artificial Intelligence · Computer Science 2021-03-02 Francois Luus , Prithviraj Sen , Pavan Kapanipathi , Ryan Riegel , Ndivhuwo Makondo , Thabang Lebese , Alexander Gray

We introduce a new nameless representation of lambda terms inspired by ordered logic. At a lambda abstraction, number and relative position of all occurrences of the bound variable are stored, and application carries the additional…

Logic in Computer Science · Computer Science 2011-11-02 Andreas Abel , Nicolai Kraus

Deploying machine learning models in safety-related do-mains (e.g. autonomous driving, medical diagnosis) demands for approaches that are explainable, robust against adversarial attacks and aware of the model uncertainty. Recent deep…

Computer Vision and Pattern Recognition · Computer Science 2020-12-14 Jan Kronenberger , Anselm Haselhoff

We describe a transfer method based on annotation projection to develop a dependency-based semantic role labeling system for languages for which no supervised linguistic information other than parallel data is available. Unlike previous…

Computation and Language · Computer Science 2019-04-09 Maryam Aminian , Mohammad Sadegh Rasooli , Mona Diab

The generation of complex derived word forms has been an overlooked problem in NLP; we fill this gap by applying neural sequence-to-sequence models to the task. We overview the theoretical motivation for a paradigmatic treatment of…

Computation and Language · Computer Science 2025-02-18 Ryan Cotterell , Ekaterina Vylomova , Huda Khayrallah , Christo Kirov , David Yarowsky
‹ Prev 1 2 3 10 Next ›