@inproceedings{d5204877d97c43008aa7c7f199da91f8,
title = "Generating models for temporal representations",
abstract = "We discuss the use of model building for temporal representations. We chose Polish to illustrate our discussion because it has an interesting aspectual system, but the points we wish to make are not language specific. Rather, our goal is to develop theoretical and computational tools for temporal model building tasks in computational semantics. To this end, we present a first-order theory of time and events which is rich enough to capture interesting semantic distinctions, and an algorithm which takes minimal models for first-order theories and systematically attempts to {"}perturb{"} their temporal component to provide non-minimal, but semantically significant, models.",
keywords = "Aspect, Computational semantics, Events, First-order logic, Higher-order logic, Model building, Tense, Aspect, Computational semantics, Events, First-order logic, Higher-order logic, Model building, Tense",
author = "Patrick Blackburn and S{\'e}bastien Hinderer",
year = "2007",
language = "English",
series = "International Conference Recent Advances in Natural Language Processing, RANLP",
pages = "69--75",
editor = "Nicolas Nicolov and Nikolai Nikolov and Ruslan Mitkov and Kalina Bontcheva and Galia Angelova",
booktitle = "International Conference Recent Advances in Natural Language Processing, RANLP 2007 - Proceedings",
publisher = "Association for Computational Linguistics",
address = "United States",
note = "International Conference Recent Advances in Natural Language Processing, RANLP 2007 ; Conference date: 27-09-2007 Through 29-09-2007",
}