English
Related papers

Related papers: Representation and Processing of Instantaneous and…

200 papers

Writing temporal logic formulae for properties that combine instantaneous events with overlapping temporal phenomena of some duration is difficult in classical temporal logics. To address this issue, in previous work we introduced a new…

Logic in Computer Science · Computer Science 2023-10-03 Manolis Pitsikalis , Alexei Lisitsa , Patrick Totzke

By adequate employing of complex event processing (CEP), valuable information can be extracted from the underlying complex system and used in controlling and decision situations. An example application area is management of IT systems for…

Software Engineering · Computer Science 2012-08-02 Istvan David

Complex Event Processing (CEP) has emerged as the unifying field for technologies that require processing and correlating distributed data sources in real-time. CEP finds applications in diverse domains, which has resulted in a large number…

Databases · Computer Science 2018-08-31 Marco Bucchi , Alejandro Grez , Cristian Riveros , Martín Ugarte

Several applications demand the timely detection of critical situations, such as threats to safety and transparency, over high-velocity streams of symbolic events. This demand has motivated the development of (i) event specification…

Artificial Intelligence · Computer Science 2026-05-05 Periklis Mantenoglou

Structured information resulting from temporal information processing is crucial for a variety of natural language processing tasks, for instance to generate timeline summarization of events from news documents, or to answer…

Computation and Language · Computer Science 2016-04-28 Paramita Mirza

This work studies Complex Event Recognition (CER) under time constraints regarding its query language, computational models, and streaming evaluation algorithms. We start by introducing an extension of Complex Event Logic (CEL), called…

Databases · Computer Science 2025-04-02 Julián García , Cristian Riveros

This paper presents an implemented system for recognizing the occurrence of events described by simple spatial-motion verbs in short image sequences. The semantics of these verbs is specified with event-logic expressions that describe…

Artificial Intelligence · Computer Science 2011-06-02 J. M. Siskind

In the following writing we discuss a conceptual framework for representing events and scenarios from the perspective of a novel form of causal analysis. This causal analysis is applied to the events and scenarios so as to determine…

Artificial Intelligence · Computer Science 2018-07-06 Anton Kolonin

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

In recent years, there has been an increased need for the use of active systems - systems required to act automatically based on events, or changes in the environment. Such systems span many areas, from active databases to applications that…

Artificial Intelligence · Computer Science 2012-07-09 Segev Wasserkrug , Avigdor Gal , Opher Etzion

Robust and flexible event representations are important to many core areas in language understanding. Scripts were proposed early on as a way of representing sequences of events for such understanding, and has recently attracted renewed…

Computation and Language · Computer Science 2017-11-22 Noah Weber , Niranjan Balasubramanian , Nathanael Chambers

The paper introduces a knowledge representation language that combines the event calculus with description logic in a logic programming framework. The purpose is to provide the user with an expressive language for modelling and analysing…

Logic in Computer Science · Computer Science 2021-09-13 Peter Baumgartner

In real-world scenario, many phenomena produce a collection of events that occur in continuous time. Point Processes provide a natural mathematical framework for modeling these sequences of events. In this survey, we investigate…

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

Events serve as fundamental units of occurrence within various contexts. The processing of event semantics in textual information forms the basis of numerous natural language processing (NLP) applications. Recent studies have begun…

Computation and Language · Computer Science 2023-05-25 Zhengwei Tao , Zhi Jin , Xiaoying Bai , Haiyan Zhao , Yanlin Feng , Jia Li , Wenpeng Hu

We present a sequential model for temporal relation classification between intra-sentence events. The key observation is that the overall syntactic structure and compositional meanings of the multi-word context between events are important…

Computation and Language · Computer Science 2017-07-25 Prafulla Kumar Choubey , Ruihong Huang

Monitoring continuous data for meaningful signals increasingly demands long-horizon, stateful reasoning over unstructured streams. However, today's LLM frameworks remain stateless and one-shot, and traditional Complex Event Processing (CEP)…

Databases · Computer Science 2026-04-07 Shu Chen , Junhan Liu , Deepti Raghavan , Ugur Cetintemel

There is uncertainty associated with the occurrence of many events in real life. In this paper we develop a temporal logic to deal with such uncertain events and outline a possible implementation in an extension of PROLOG. Events are…

Artificial Intelligence · Computer Science 2013-04-10 Soumitra Dutta

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

Reasoning about real-life events is a unifying challenge in AI and NLP that has profound utility in a variety of domains, while fallacy in high-stake applications could be catastrophic. Able to work with diverse text in these domains, large…

Computation and Language · Computer Science 2024-08-30 Li Zhang
‹ Prev 1 2 3 10 Next ›