Carmen López Rincón

←

Verba Logica

Constituido en 1991, ha desarrollado numerosos proyectos de investigación en las áreas de: programación lógica aplicada, análisis de textos semiestructurados, conversión retrospectiva automática y desarrollo de software para el aprendizaje de Lógica

Carmen López Rincón

Profesora Titular de Lógica y Filosofía de la Ciencia
Doctora en Filosofía por la Universidad Complutense de Madrid; premio extraordinario
Estudios complementarios en Inteligencia Artificial & Sistemas Expertos (500 horas, curso TCI España / CAM; financiado por el Fondo Social Europeo).
Docencia en: Lógica, Historia y Filosofía de la Lógica, Filosofía del Lenguaje, Programación lógica, Procesamiento del lenguaje natural, Lingüística informática, Lógica y computación
Investigación: integrante desde 1991 del grupo Verba Logica

Jaime Sarabia Álvarez-Ude

Profesor Titular de Lógica y Filosofía de la Ciencia
Doctor en Filosofía por la Universidad Complutense de Madrid; premio extraordinario
Licenciado en Lingüística Hispánica
Estudios de posgrado en la Ludwig-Maximilians-Universität München
Docencia en: Lógica, Historia y Filosofía de la Lógica, Filosofía del Lenguaje, Programación lógica, Procesamiento del lenguaje natural, Modelos formales y teoría semántica
Investigación: director desde 1991 del grupo Verba Logica

Proyectos europeos

BiblioTECA: Bibliographic Texts Compositional Analysis. DG XIII-Lib-2023; socio coordinador: Verba logica (UCM)
- CORDIS EU research results: BiblioTECA: Bibliographic Texts Compositional Analysis
- Telematics for Libraries: Project 2023. BiblioTECA - Bibliographic Texts Compositional Analysis
- Universidad Complutense de Madrid - Verba Logica: Proyecto BiblioTECA
CANAL / LS: Catalogue with multilingual Natural Language Access / Linguistic Server. DCG XIII-Lib.3063; socio participante: Verba Logica (UCM)
- CORDIS EU research results: CANAL/LS: Catalogue with Multilingual Natural Language Access / Linguistic server
- Telematics for Libraries: Project 3063. Catalogue with Multilingual Natural Language Access / Linguistic Server
- Universidad Complutense de Madrid - Verba Logica: Proyecto CANAL/LS

Otros proyectos

Destacan los realizados para:

Universidad Complutense de Madrid
Biblioteca Nacional de España
Consejo Superior de Investigaciones Científicas
Biblioteca de Montserrat
Comunidad Autónoma de Madrid

Algunas referencias a trabajos anteriores

Sue Mundell: The Retrospective Conversion of the Handbook of Latin American Studies, Volumes 1-49
Jerôme Gutman - Applications de l'intelligence artificielle à l'assistance ou l'automatisation du catalogage
Biblioteca de Montserrat - The Digital conversion of the historical catalogue
Damià Roure - La Biblioteca de Montserrat: Un espai de cultura al llarg del segles
Biblioteca Nacional - Catálogo de discos de 78 rpm en la Biblioteca Nacional
Red de Bibliotecas del CSIC - Proyecto de Biblioteca del Centro de Humanidades y CC.Sociales del CSIC
CSIC / C.BIC - Definición de las colecciones
Elvira González / C.BIC - Catálogo de autoridades del la Red de Bibliotecas del CSIC: encabezamientos de materia

Trabajo actual

Desarrollo de hazLógica, una aplicación cliente-servidor para Aprendizaje de Lógica (inicialmente LE, LPO; más adelante Silogística, Modal, Polivalente) con motor deductivo desarrollado en Prolog e interfaz web (HTML5, Javascript, VIS.js, SVG):

Proyecto de innovación educativa UCM/Innova-docencia, 2018-19: Desarrollo, integración y evaluación de técnicas de ludificación (gamification) en un entorno virtual de aprendizaje de Lógica
Proyecto de innovación educativa UCM/Innova-docencia, 2020-21: Nuevas herramientas de ludificación aplicadas al aprendizaje de Lógica

Verba Logica