@InProceedings{itegulov-lebedeva-woltzenlogelpaleo:2018:C18-2,
  author    = {Itegulov, Daniyar  and  Lebedeva, Ekaterina  and  Woltzenlogel Paleo, Bruno},
  title     = {Sensala: a Dynamic Semantics System for Natural Language Processing},
  booktitle = {Proceedings of the 27th International Conference on Computational Linguistics: System Demonstrations},
  month     = {August},
  year      = {2018},
  address   = {Santa Fe, New Mexico},
  publisher = {Association for Computational Linguistics},
  pages     = {123--127},
  abstract  = {Here we describe Sensala , an open source framework for the semantic interpretation of natural language that provides the logical meaning of a given text. The framework’s theory is based on a lambda calculus with exception handling and uses contexts, continuations, events and dependent types to handle a wide range of complex linguistic phenomena, such as donkey anaphora, verb phrase anaphora, propositional anaphora, presuppositions and implicatures.},
  url       = {http://www.aclweb.org/anthology/C18-2027}
}