English
Related papers

Related papers: Cantor meets Scott: Semantic Foundations for Proba…

200 papers

This paper investigates a representation language with flexibility inspired by probabilistic logic and compactness inspired by relational Bayesian networks. The goal is to handle propositional and first-order constructs together with…

Artificial Intelligence · Computer Science 2012-07-19 Fabio Gagliardi Cozman , Cassio Polpo de Campos , Jaime Ide , Jose Carlos Ferreira da Rocha

Prepositions are an important vehicle for indicating semantic roles. Their meanings are difficult to analyze and they are often discarded in processing text. The Preposition Project is designed to provide a comprehensive database of…

Computation and Language · Computer Science 2021-04-20 Ken Litkowski , Orin Hargraves

We present an approach to combining distributional semantic representations induced from text corpora with manually constructed lexical-semantic networks. While both kinds of semantic resources are available with high lexical coverage, our…

Computation and Language · Computer Science 2017-12-27 Chris Biemann , Stefano Faralli , Alexander Panchenko , Simone Paolo Ponzetto

The opinion expressed in various Web sites and social-media is an essential contributor to the decision making process of several organizations. Existing sentiment analysis tools aim to extract the polarity (i.e., positive, negative,…

Artificial Intelligence · Computer Science 2020-08-21 Wissam Maamar Kouadri , Salima Benbernou , Mourad Ouziri , Themis Palpanas , Iheb Ben Amor

Knowledge bases provide applications with the benefit of easily accessible, systematic relational knowledge but often suffer in practice from their incompleteness and lack of knowledge of new entities and relations. Much work has focused on…

Computation and Language · Computer Science 2013-03-19 Danqi Chen , Richard Socher , Christopher D. Manning , Andrew Y. Ng

We demonstrate how to parse Geach's Donkey sentences in a compositional distributional model of meaning. We build on previous work on the DisCoCat (Distributional Compositional Categorical) framework, including extensions that model…

Computation and Language · Computer Science 2023-08-10 Lachlan McPheat , Daphne Wang

Kleene algebras with tests (KATs) offer sound, complete, and decidable equational reasoning about regularly structured programs. Interest in KATs has increased greatly since NetKAT demonstrated how well extensions of KATs with…

Programming Languages · Computer Science 2022-04-05 Michael Greenberg , Ryan Beckett , Eric Campbell

Semantic control entails steering LM generations towards satisfying subtle non-lexical constraints, e.g., toxicity, sentiment, or politeness, attributes that can be captured by a sequence-level verifier. It can thus be viewed as sampling…

Machine Learning · Computer Science 2025-05-06 Kareem Ahmed , Catarina G Belem , Padhraic Smyth , Sameer Singh

Semantics, morphology and syntax are strongly interdependent. However, the majority of computational methods for semantic change detection use distributional word representations which encode mostly semantics. We investigate an alternative…

Computation and Language · Computer Science 2021-09-23 Mario Giulianelli , Andrey Kutuzov , Lidia Pivovarova

Probabilistic programming is becoming increasingly popular thanks to its ability to specify problems with a certain degree of uncertainty. In this work, we focus on term rewriting, a well-known computational formalism. In particular, we…

Programming Languages · Computer Science 2025-03-20 Germán Vidal

We consider the value 1 problem for probabilistic automata over finite words: it asks whether a given probabilistic automaton accepts words with probability arbitrarily close to 1. This problem is known to be undecidable. However, different…

Formal Languages and Automata Theory · Computer Science 2017-09-12 Nathanaël Fijalkow

Domain-general semantic parsing is a long-standing goal in natural language processing, where the semantic parser is capable of robustly parsing sentences from domains outside of which it was trained. Current approaches largely rely on…

Computation and Language · Computer Science 2022-02-10 Abulhair Saparov

In existing literature, while approximate approaches based on Monte-Carlo simulation technique have been proposed to compute the semantics of probabilistic argumentation, how to improve the efficiency of computation without using simulation…

Artificial Intelligence · Computer Science 2017-10-25 Beishui Liao , Kang Xu , Huaxin Huang

Probabilistic abstract interpretation is a theory used to extract particular properties of a computer program when it is infeasible to test every single inputs. In this paper we apply the theory on neural networks for the same purpose: to…

Artificial Intelligence · Computer Science 2026-03-27 Zhuofan Zhang , Herbert Wiklicky

Making a linguistic theory is like making a programming language: one typically devises a type system to delineate the acceptable utterances and a denotational semantics to explain observations on their behavior. Via this connection, the…

Computation and Language · Computer Science 2007-05-23 Chung-chieh Shan

In this study, we propose a novel graph neural network called propagate-selector (PS), which propagates information over sentences to understand information that cannot be inferred when considering sentences in isolation. First, we design a…

Computation and Language · Computer Science 2020-02-18 Seunghyun Yoon , Franck Dernoncourt , Doo Soon Kim , Trung Bui , Kyomin Jung

Knowledge is a network of interconnected concepts. Yet, precisely how the topological structure of knowledge constrains its acquisition remains unknown, hampering the development of learning enhancement strategies. Here we study the…

Computation and Language · Computer Science 2021-03-17 Nicolas H. Christianson , Ann Sizemore Blevins , Danielle S. Bassett

Knowledge base construction entails acquiring structured information to create a knowledge base of factual and relational data, facilitating question answering, information retrieval, and semantic understanding. The challenge called…

Computation and Language · Computer Science 2023-10-13 Dong Yang , Xu Wang , Remzi Celebi

Ranking functions in information retrieval are often used in search engines to recommend the relevant answers to the query. This paper makes use of this notion of information retrieval and applies onto the problem domain of cognate…

Information Retrieval · Computer Science 2018-11-21 Pranav A

How does the input segmentation of pretrained language models (PLMs) affect their interpretations of complex words? We present the first study investigating this question, taking BERT as the example PLM and focusing on its semantic…

Computation and Language · Computer Science 2021-06-03 Valentin Hofmann , Janet B. Pierrehumbert , Hinrich Schütze