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 …

Audio Description (AD) provides linguistic descriptions of movies and allows visually
impaired people to follow a movie along with their peers. Such descriptions are by design …

Audio description (AD) provides linguistic descriptions of movies and allows visually
impaired people to follow a movie along with their peers. Such descriptions are by design …

We investigate a new commonsense inference task: given an event described in a short free-
form text (" X drinks coffee in the morning"), a system reasons about the likely intents (" X …

The ability to correctly model distinct meanings of a word is crucial for the effectiveness of
semantic representation techniques. However, most existing evaluation benchmarks for …

Despite the success of large knowledge bases, one kind of knowledge that has not received
attention so far is that of human activities. An example of such an activity is proposing to …

We introduce the Dutch Model Benchmark: DUMB. The benchmark includes a diverse set of
datasets for low-, medium-and high-resource tasks. The total set of nine tasks includes four …

Identifying aspect-based opinions has been studied extensively in recent years. However,
existing work primarily focused on adjective, adverb, and noun expressions. Clearly, verb …

Enabling computers to comprehend the intent of human actions by processing language is
one of the fundamental goals of Natural Language Understanding. An emerging task in this …

In this paper, we evaluate in a case study whether semantic role labelling (SRL) can be
reliably used for verb-based sentiment inference (SI). SI strives to identify polar relations …