English
Related papers

Related papers: Event in Compositional Dynamic Semantics

200 papers

Process mining focuses on the analysis of recorded event data in order to gain insights about the true execution of business processes. While foundational process mining techniques treat such data as sequences of abstract events, more…

Computation and Language · Computer Science 2021-03-23 Adrian Rebmann , Han van der Aa

Probabilistic programming is related to a compositional approach to stochastic modeling by switching from discrete to continuous time dynamics. In continuous time, an operator-algebra semantics is available in which processes proceeding in…

Artificial Intelligence · Computer Science 2012-12-05 Eric Mjolsness

To analyse and verify the safety and security properties of interactive systems, a formal specification might be necessary. There are many types of formal languages and frameworks. The decision regarding what type of formal specification…

Formal Languages and Automata Theory · Computer Science 2025-05-15 Maria Spichkova

This paper proposes a formal framework for modeling the interaction of causal and (qualitative) epistemic reasoning. To this purpose, we extend the notion of a causal model with a representation of the epistemic state of an agent. On the…

Artificial Intelligence · Computer Science 2020-11-02 Fausto Barbero , Katrin Schulz , Sonja Smets , Fernando R. Velázquez-Quesada , Kaibo Xie

It has been an open question as to whether the Modular Structural Operational Semantics framework can express the dynamic semantics of call/cc. This paper shows that it can, and furthermore, demonstrates that it can express the more general…

Programming Languages · Computer Science 2016-06-22 Neil Sculthorpe , Paolo Torrini , Peter D. Mosses

Analyzing ideological discourse even in the age of LLMs remains a challenge, as these models often struggle to capture the key elements that shape real-world narratives. Specifically, LLMs fail to focus on characteristic elements driving…

Computation and Language · Computer Science 2025-04-11 Nishanth Nakshatri , Nikhil Mehta , Siyi Liu , Sihao Chen , Daniel J. Hopkins , Dan Roth , Dan Goldwasser

In this paper, we further develop the framework of Modular Systems that lays model-theoretic foundations for combining different declarative languages, agents and solvers. We introduce a multi-language logic of modular systems. We define…

Logic in Computer Science · Computer Science 2014-05-07 Shahab Tasharrofi , Eugenia Ternovska

Two important aspects of semantic parsing for question answering are the breadth of the knowledge source and the depth of logical compositionality. While existing work trades off one aspect for another, this paper simultaneously makes…

Computation and Language · Computer Science 2015-08-04 Panupong Pasupat , Percy Liang

Recognizing visual entities in a natural language sentence and arranging them in a 2D spatial layout require a compositional understanding of language and space. This task of layout prediction is valuable in text-to-image synthesis as it…

Computation and Language · Computer Science 2024-12-03 Wolf Nuyts , Ruben Cartuyvels , Marie-Francine Moens

Contextualized representation models such as ELMo (Peters et al., 2018a) and BERT (Devlin et al., 2018) have recently achieved state-of-the-art results on a diverse array of downstream NLP tasks. Building on recent token-level probing work,…

This paper summarises the current state-of-the art in the study of compositionality in distributional semantics, and major challenges for this area. We single out generalised quantifiers and intensional semantics as areas on which to focus…

Computation and Language · Computer Science 2012-07-11 Daoud Clarke

Understanding texts requires memory: the reader has to keep in mind enough words to create meaning. This calls for a relation between the memory of the reader and the structure of the text. To investigate this interaction, we first identify…

Physics and Society · Physics 2007-05-23 E. Alvarez-Lacalle , B. Dorow , J. -P. Eckmann , E. Moses

Previous studies about event-level sentiment analysis (SA) usually model the event as a topic, a category or target terms, while the structured arguments (e.g., subject, object, time and location) that have potential effects on the…

Computation and Language · Computer Science 2022-06-01 Qi Zhang , Jie Zhou , Qin Chen , Qinchun Bai , Liang He

Semantic representations can be framed as a structured, dynamic knowledge space through which humans navigate to retrieve and manipulate meaning. To investigate how humans traverse this geometry, we introduce a framework that represents…

Computation and Language · Computer Science 2026-04-15 Felipe D. Toro-Hernández , Jesuino Vieira Filho , Rodrigo M. Cabral-Carvalho

We propose a novel framework for modeling event-related potentials (ERPs) collected during reading that couples pre-trained convolutional decoders with a language model. Using this framework, we compare the abilities of a variety of…

Computation and Language · Computer Science 2019-04-03 Shaorong Yan , Aaron Steven White

We present a visually-grounded language understanding model based on a study of how people verbally describe objects in scenes. The emphasis of the model is on the combination of individual word meanings to produce meanings for complex…

Artificial Intelligence · Computer Science 2011-07-04 P. Gorniak , D. Roy

In this paper, we study a functional programming approach to natural language semantics, allowing us to increase the expressiveness of a more traditional denotation style. We will formalize a category based type and effect system to…

Computation and Language · Computer Science 2025-07-24 Matthieu Pierre Boyer

Mechanistic interpretability aims to explain neural model behaviour by reverse-engineering learned computational structure into human-understandable components. Without a formal framework, however, mechanistic explanations cannot be…

Machine Learning · Computer Science 2026-05-12 Ward Gauderis , Thomas Dooms , Steven T. Holmer , Kola Ayonrinde , Geraint A. Wiggins

We present a non-vacuous definition of compositionality. It is based on the idea of combining the minimum description length principle with the original definition of compositionality (that is, that the meaning of the whole is a function of…

Computation and Language · Computer Science 2007-05-23 Wlodek Zadrozny

A categorical framework for modeling and analyzing systems in a broad sense is proposed. These systems should be thought of as `machines' with inputs and outputs, carrying some sort of signal that occurs through some notion of time. Special…

Category Theory · Mathematics 2019-03-18 Patrick Schultz , David I. Spivak , Christina Vasilakopoulou