MSO with tests and reducts

no code implementations • WS 2019 • Fern, Tim o, David Woods, Carl Vogel

Tests added to Kleene algebra (by Kozen and others) are considered within Monadic Second Order logic over strings, where they are likened to statives in natural language.

Projecting Temporal Properties, Events and Actions

no code implementations • WS 2019 • Fern, Tim o

Temporal notions based on a finite set \textit{A} of properties are represented in strings, on which projections are defined that vary the granularity \textit{A}.

Improving String Processing for Temporal Relations

no code implementations • COLING 2018 • David Woods, Fern, Tim o

Towards efficient string processing of annotated events

no code implementations • WS 2017 • David Woods, Fern, Tim o, Carl Vogel

Temporal Forces and Type Coercion in Strings

no code implementations • WS 2015 • Derek Kelleher, Fern, Tim o, Carl Vogel

Vocal Bursts Type Prediction

Incremental semantic scales by strings

no code implementations • WS 2014 • Fern, Tim o

Propositions, Questions, and Adjectives: a rich type theoretic approach

no code implementations • WS 2014 • Jonathan Ginzburg, Robin Cooper, Fern, Tim o

Vocal Bursts Type Prediction

Segmenting Temporal Intervals for Tense and Aspect

no code implementations • WS 2013 • Fern, Tim o

Finite State Methods and Description Logics

no code implementations • WS 2013 • Fern, Tim o

A Finite-State Temporal Ontology and Event-Intervals

no code implementations • WS 2012 • Fern, Tim o