Linear temporal logic (LTL) is commonly used in model checking tasks; moreover, it is well-
suited for the formalization of technical requirements. However, the correct specification and …

Understanding time is crucial for understanding events expressed in natural language.
Because people rarely say the obvious, it is often necessary to have commonsense …

Narratives are present in many forms of human expression and can be understood as a
fundamental way of communication between people. Computational understanding of the …

Event is a common but non-negligible knowledge type. How to identify events from texts,
extract their arguments, even analyze the relations between different events are important …

A critical part of reading is being able to understand the temporal relationships between
events described in a passage of text, even when those relationships are not explicitly …

Everyday conversations require understanding everyday events, which in turn, requires
understanding temporal commonsense concepts interwoven with those events. Despite …

Temporal common sense (eg, duration and frequency of events) is crucial for understanding
natural language. However, its acquisition is challenging, partly because such information is …

We propose TRACIE, a novel temporal reasoning dataset that evaluates the degree to which
systems understand implicit events--events that are not mentioned explicitly in natural …

Determining temporal relations (eg, before or after) between events has been a challenging
natural language understanding task, partly due to the difficulty to generate large amounts of …

We present TIMERS-a TIME, Rhetorical and Syntactic-aware model for document-level
temporal relation classification in the English language. Our proposed method leverages …