http://gpd.sip.ucm.es/cromdia/wiki/ 2012-02-12T15:48:55+01:00 http://gpd.sip.ucm.es/cromdia/wiki/ http://gpd.sip.ucm.es/cromdia/wiki/lib/images/favicon.ico text/html 2011-02-14T20:21:01+01:00 cromdia http://gpd.sip.ucm.es/cromdia/wiki/doku.php?id=research:qclp:start&rev=1297711261&do=diff This is the homepage for the (S)QCLP Programming Language developed in the Declarative Programming Group of the Complutense University of Madrid. What is (S)QCLP? (S)QCLP stands for (Proximity-based) Qualified Constraint Logic Programming and is a new programming scheme based on CLP and implemented as an extension of a generic pure Prolog system. text/html 2011-01-27T12:31:22+01:00 cromdia http://gpd.sip.ucm.es/cromdia/wiki/doku.php?id=research:start&rev=1296127882&do=diff [Universidad Complutense de Madrid] Contact Information <cromdia@fdi.ucm.es> <http://gpd.sip.ucm.es/cromdia> Address: Facultad de Informática (UCM) C/ Profesor José García Santesmases, s/n 28040 Madrid, Spain Tel.: (+34) 913947648 Office: 219 (2nd floor) text/html 2011-01-21T13:34:57+01:00 cromdia http://gpd.sip.ucm.es/cromdia/wiki/doku.php?id=research:works:rom11&rev=1295613297&do=diff * Author/s: C. A. Romero-Díaz * Ref.: Tesis doctoral, DSIC, Universidad Complutense, Madrid, Spain, 2011. * Full text: PDF (5.4 MB) Abstract La incorporación del razonamiento con incertidumbre a la programación declarativa y, en especial, a la programación lógica ha sido objeto de investigación en las últimas décadas. En este periodo, se han aportado diversas propuestas con este propósito así como diferentes aplicaciones prácticas de estas propuestas. Al mismo tiempo, los esquemas CLP … text/html 2011-01-21T13:34:16+01:00 cromdia http://gpd.sip.ucm.es/cromdia/wiki/doku.php?id=research:works:rom07&rev=1295613256&do=diff * Author/s: C. A. Romero-Díaz * Ref.: Proyecto de Fin de Máster, DSIC, Universidad Complutense, Madrid, Spain. 2007. * Full text: PDF (484 KB) Abstract Desde hace varias décadas, el tratamiento del conocimiento incierto ha ido haciéndose necesario en diferentes áreas de la ciencia. En particular, son múltiples los resultados aportados desde el campo de la Inteligencia Artificial y la Programación Lógica. Estos resultados pueden englobarse en diferentes enfoques según la manera de tratar… text/html 2011-01-19T15:23:14+01:00 cromdia http://gpd.sip.ucm.es/cromdia/wiki/doku.php?id=research:works_publications&rev=1295446994&do=diff Here you can find all my works and publications starting with the most recent. 2011 * Programación declarativa cualificada con restricciones (in Spanish) C. A. Romero-Díaz. Tesis doctoral, DSIC, Universidad Complutense de Madrid. 2010 * A Transformation-based Implementation for CLP with Qualification and Proximity - Preliminary Version (TR SIC-4-10) R. Caballero, M. Rodríguez-Artalejo and C. A. Romero-Díaz. Technical Report SIC-4-10, Universidad Complutense, Departamento de Sistemas Inf… text/html 2010-12-02T12:28:50+01:00 cromdia http://gpd.sip.ucm.es/cromdia/wiki/doku.php?id=research:qclp:older_releases&rev=1291289330&do=diff Here you can find all older releases of (S)QCLP. These are kept for reference. Please if you are downloading (S)QCLP as a final user, download it from downloading instead. Version Released System Download Size (S)QCLP 0.6.1 7/Oct/2010 Linux/MacOSX qclp_0-6-1.tar.gz 52.0KB (S)QCLP 0.6.1 7/Oct/2010 Windows qclp_0-6-1.zip 89.2KB (S)QCLP 0.6 27/Jul/2010 Linux/MacOSX qclp_0-6.tar.gz 51.8KB (S)QCLP 0.6 27/Jul/2010 Windows qclp_0-6.zip 88.6KB (S)QCLP … text/html 2010-09-21T17:00:13+01:00 cromdia http://gpd.sip.ucm.es/cromdia/wiki/doku.php?id=research:works:crr08&rev=1285081213&do=diff * Author/s: R. Caballero, M. Rodríguez-Artalejo and C. A. Romero-Díaz * Ref.: In PPDP08: Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, pages 185-194. Valencia, Spain. ACM. 2008. text/html 2010-09-21T16:58:20+01:00 cromdia http://gpd.sip.ucm.es/cromdia/wiki/doku.php?id=research:works:rr10tr&rev=1285081100&do=diff * Author/s: M. Rodríguez-Artalejo and C. A. Romero-Díaz * Ref.: Technical Report SIC-1-10, Universidad Complutense, Departamento de Sistemas Informáticos y Computación, Madrid, Spain, 2010. * Full text: PDF (743.8 KB) :: arXiv:1009.1977 Abstract Uncertainty in Logic Programming has been investigated during the last decades, dealing with various extensions of the classical LP paradigm and different applications. Existing proposals rely on different approaches, such as clause annotations… text/html 2010-09-21T16:56:58+01:00 cromdia http://gpd.sip.ucm.es/cromdia/wiki/doku.php?id=research:works:crr10tr&rev=1285081018&do=diff * Author/s: R. Caballero, M. Rodríguez-Artalejo and C. A. Romero-Díaz * Ref.: Technical Report SIC-4-10, Universidad Complutense, Departamento de Sistemas Informáticos y Computación, Madrid, Spain. * Full text: PDF (810.7 KB) :: arXiv:1009.1976