David Woods


MSO with tests and reducts
Tim Fernando | David Woods | Carl Vogel
Proceedings of the 14th International Conference on Finite-State Methods and Natural Language Processing

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. Reducts are formed over tests and non-tests alike, specifying what is observable. Notions of temporal granularity are based on observable change, under the assumption that a finite set bounds what is observable (with the possibility of stretching such bounds by moving to a larger finite set). String projections at different granularities are conjoined by superpositions that provide another variant of concatenation for Booleans.


Improving String Processing for Temporal Relations
David Woods | Tim Fernando
Proceedings 14th Joint ACL - ISO Workshop on Interoperable Semantic Annotation


Towards efficient string processing of annotated events
David Woods | Tim Fernando | Carl Vogel
Proceedings of the 13th Joint ISO-ACL Workshop on Interoperable Semantic Annotation (ISA-13)