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
(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
(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 ...