English
Related papers

Related papers: A dependently-typed calculus of event telicity and…

200 papers

The proliferation of methods for modeling of human meaning-making constitutes a powerful class of instruments for the analysis of complex semiotic systems. However, the field lacks a general theoretical framework for describing these…

Computation and Language · Computer Science 2025-09-03 Zachary K. Stine , James E. Deitrick

In this paper, we develop a novel logic-based approach to detecting high-level temporally extended events from timestamped data and background knowledge. Our framework employs logical rules to capture existence and termination conditions…

Artificial Intelligence · Computer Science 2026-04-24 Yvon K. Awuklu , Meghyn Bienvenu , Katsumi Inoue , Vianney Jouhet , Fleur Mougin

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,…

Large language models (LLMs) are increasingly deployed in high-stakes settings where good decisions require forming beliefs over the probability of unknown outcomes. However, it is unclear whether LLMs act as if they hold coherent beliefs…

Artificial Intelligence · Computer Science 2026-05-12 Khurram Yamin , Jingjing Tang , Santiago Cortes-Gomez , Amit Sharma , Eric Horvitz , Bryan Wilder

Training long-context language models to capture long-range dependencies requires specialized data construction. Current approaches, such as generic text concatenation or heuristic-based variants, frequently fail to guarantee genuine…

Computation and Language · Computer Science 2025-10-06 Junlong Jia , Ziyang Chen , Xing Wu , Chaochen Gao , Zijia Lin , Debing Zhang , Songlin Hu , Binghui Guo

Intensity-based multistate models provide a useful framework for characterizing disease processes, the introduction of interventions, loss to follow-up, and other complications arising in the conduct of randomized trials studying complex…

Methodology · Statistics 2022-09-29 Alexandra Bühler , Richard J. Cook , Jerald F. Lawless

Symbolic event recognition systems have been successfully applied to a variety of application domains, extracting useful information in the form of events, allowing experts or other systems to monitor and respond when significant events are…

Artificial Intelligence · Computer Science 2013-08-16 Anastasios Skarlatidis , Georgios Paliouras , Alexander Artikis , George A. Vouros

We provide a unified account of sentence-level and text-level anaphora within the framework of a dependency-based grammar model. Criteria for anaphora resolution within sentence boundaries rephrase major concepts from GB's binding theory,…

cmp-lg · Computer Science 2016-08-31 Michael Strube , Udo Hahn

The digital landscape is rapidly evolving with an ever-increasing volume of online news, emphasizing the need for swift and precise analysis of complex events. We refer to the complex events composed of many news articles over an extended…

Computation and Language · Computer Science 2024-06-05 Zhihan Zhang , Yixin Cao , Chenchen Ye , Yunshan Ma , Lizi Liao , Tat-Seng Chua

This study presents a framework for automated evaluation of dynamically evolving topic models using Large Language Models (LLMs). Topic modeling is essential for organizing and retrieving scholarly content in digital library systems,…

Computation and Language · Computer Science 2025-10-24 Zhiyin Tan , Jennifer D'Souza

Entity aspect recommendation is an emerging task in semantic search that helps users discover serendipitous and prominent information with respect to an entity, of which salience (e.g., popularity) is the most important factor in previous…

Information Retrieval · Computer Science 2024-04-10 Tu Nguyen , Nattiya Kanhabua , Wolfgang Nejdl

Prior research has explored the ability of computational models to predict a word semantic fit with a given predicate. While much work has been devoted to modeling the typicality relation between verbs and arguments in isolation, in this…

Computation and Language · Computer Science 2021-07-26 Paolo Pedinotti , Giulia Rambelli , Emmanuele Chersoni , Enrico Santus , Alessandro Lenci , Philippe Blache

This paper proposes to compute the meanings associated to sentences with generic NPs corresponding to the most of generalized quantifier. We call these generics specimens and they resemble stereotypes or prototypes in lexical semantics. The…

Logic · Mathematics 2011-11-09 Christian Retoré

Scaling existing applications and solutions to multiple human languages has traditionally proven to be difficult, mainly due to the language-dependent nature of preprocessing and feature engineering techniques employed in traditional…

Computation and Language · Computer Science 2020-01-01 Xiaotong Liu , Yingbei Tong , Anbang Xu , Rama Akkiraju

A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…

Logic in Computer Science · Computer Science 2026-05-07 Matthijs Vákár

This paper presents our approach to the quantitative modeling and analysis of highly (re)configurable systems, such as software product lines. Different combinations of the optional features of such a system give rise to combinatorially…

Software Engineering · Computer Science 2018-04-05 Maurice H. ter Beek , Axel Legay , Alberto Lluch Lafuente , Andrea Vandin

Classical semantics assumes that one can model reference, predication and quantification with respect to a fixed domain of precise referent objects. Non-logical terms and quantification are then interpreted directly in terms of elements and…

Artificial Intelligence · Computer Science 2023-05-11 Brandon Bennett , Lucía Gómez Álvarez

Event definitions in Complex Event Processing systems are constrained by the expressiveness of each system's language. Some systems allow the definition of instantaneous complex events, while others allow the definition of durative complex…

Logic in Computer Science · Computer Science 2021-08-31 Manolis Pitsikalis , Alexei Lisitsa , Shan Luo

The lack of a formal model of events hinders interoperability in distributed event-based systems. In this paper, we present a formal model of events, called Event-Model-F. The model is based on the foundational ontology DOLCE+DnS Ultralite…

Artificial Intelligence · Computer Science 2024-11-26 Ansgar Scherp , Thomas Franz , Carsten Saathoff , Steffen Staab

A hybrid methodology for the resolution of text-level ellipsis is presented in this paper. It incorporates conceptual proximity criteria applied to ontologically well-engineered domain knowledge bases and an approach to centering based on…

cmp-lg · Computer Science 2008-02-03 Michael Strube , Udo Hahn