Workshop "Lógica, Lenguaje e Información"
La unidad de investigación en Lógica, Lenguaje e Información (UILLI) organiza su workshop fundacional sobre "Lógica, Lenguaje e Información". Este workshop se celebrará entre el 3 y el 5 de noviembre, en el aula de Grados A de la Escuela Técnica Superior de Ingeiería Informática, con el patrocinio del Campus Internacional Andalucía Tech.
WORKSHOP “LÓGICA, LENGUAJE E INFORMACIÓN”
(Logic, Language and Information)
Málaga, 3-5 de noviembre
Universidades de Málaga y Sevilla, Andalucía Tech
Aula de Grados A (E.T.S.I. Informática)
Comité organizador:
Alfredo Burrieza Muñiz
Claudia Fernández Fernández
Ángel Nepomuceno Fernández
Fernando Raymundo Velázquez Quesada
PROGRAMA
Lunes, 3 de noviembre de 2014
09:30-10:00 | Recepción y recogida de información |
10:00-10:15 | Bienvenida y presentación |
10:15-11:45 | Conferencia Formalidades de la vida, naturalmente Mario de Jesús Pérez Jiménez (Universidad de Sevilla) |
11:45-12:00 | Descanso |
12:00-12:45 | Distributed explicit knowledge and collective awareness Alfredo Burrieza, Claudia Fernández |
12:45-13:30 | Discussing before deciding: preference change under reliability Fernando R. Velázquez Quesada |
13:30-15:15 | Comida |
15:15-16:00 | On the absence of information in the data sets: a logical approach José Manuel Rodríguez Jiménez |
16:00-16:45 | Bioinformática para revelar la lógica de la vida Manuel Gonzalo Claros Díaz |
16:45-17:30 | Parallelism in the search of minimal keys from implications using tableaux method Fernando Benito Picazo |
Martes, 4 de noviembre de 2014
09:30-11:00 | Conferencia Modelización lógica de las interacciones intracelulares Luis Fariñas del Cerro (IRIT, Université Toulouse III, Paul Sabatier) |
11:00-11:15 | Descanso |
11:15-12:00 | Reasoning in Interval Temporal Logics. New Frontiers Guido Sciavicco |
12:00-12:45 | Conservación entre axiomas condicionales y reglas Francisco Félix Lara |
12:45-13:00 | Descanso |
13:00-13:45 | Transformadores eficientes de programas para traducir LCC a PDL Pere Pardo, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez Quesada |
13:45-14:30 | Emilio Muñoz-Velasco Logics for Qualitative Reasoning. New challenges |
14:30-16:15 | Comida |
16:15-17:00 | Tracking Objects--FET-Based Theory of Singular Thoughts Bartłomiej Czajka, Jędrzej Grodniewicz |
17:00-17:45 | Bases del giro dinámico en lingüística Francisco Salguero |
17:45-18:30 | Improving the handling of implicational systems by means of logic-based transformations Estrella Rodríguez Lorenzo |
Miércoles, 5 de noviembre de 2014 | ||||||||||||||||
| ||||||||||||||||
|