Search
Now showing items 1-2 of 2
Algoritmos para decidir definibilidad de fragmentos de lógica en primer orden
(2023-06-29)
Dada una estructura A, decimos que un conjunto T es definible en primer orden sin cuantificadores si y solo si existe una fórmula sin cuantificadores φ tal queA ⊨φ(x) para todo x∈T, mientras que A ⊭φ(x) para todo x∈A\T. ...
Generación de expresiones referenciales bajo incertidumbre con teoría de modelos
(2016)
En esta tesis investigamos la generación automática de rankings de expresiones referenciales en contextos con incertidumbre. Las posibles aplicaciones de la generación de expresiones referenciales que deben referirse al ...