@inproceedings{c5b391aaf84043c19b80c98f141c0c6d,
title = "Handling verb phrase anaphora with dependent types and events",
abstract = "This paper studies how dependent typed events can be used to treat verb phrase anaphora. We introduce a framework that extends Dependent Type Semantics (DTS) with a new atomic type for neo-Davidsonian events and an extended @-operator that can return new events that share properties of events referenced by verb phrase anaphora. The proposed framework, along with illustrative examples of its use, are presented after a brief overview of the necessary background and of the major challenges posed by verb phrase anaphora.",
author = "Daniyar Itegulov and Ekaterina Lebedeva",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag GmbH Germany, part of Springer Nature 2018.; 25th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2018 ; Conference date: 24-07-2018 Through 27-07-2018",
year = "2018",
doi = "10.1007/978-3-662-57669-4_12",
language = "English",
isbn = "9783662576687",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "210--222",
editor = "{de Queiroz}, Ruy and Maricarmen Martinez and Moss, {Lawrence S.}",
booktitle = "Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Proceedings",
address = "Germany",
}