Browsing Trabajos migrados en revisión - FAMAF - Partes de libro 2015 by Title

Now showing items 3-4 of 4

    • Modal satisfiability via SMT solving 

      Areces, Carlos Eduardo; Fontaine, Pascal; Merz, Stephan (2015)
      Modal logics extend classical propositional logic, and they are robustly decidable. Whereas most existing decision procedures for modal logics are based on tableau constructions, we propose a framework for obtaining decision ...

    • Zoom : a corpus of natural language descriptions of map locations 

      Altamirano, Ivana Romina; Ferreira, Thiago; Paraboni, Ivandré; Benotti, Luciana (2015)
      This paper describes an experiment to elicit referring expressions from human subjects for research in natural language generation and related fields, and preliminary results of a computational model for the generation of ...