Pasar al contenido principal
Català
English
Español
Formulario de búsqueda
Buscar
Log-in
Acerca del IIIA
Presentación
Historia
Contribuciones a la inteligencia artificial 1996 - 2001
Contributions to Artificial Intelligence 1986 - 1995
Ubicación
Trabaja con nosotros
Departamentos
Proyectos
Proyectos Actuales
Proyectos Finalizados
Publicaciones
Publications
Thesis
Personas
Gonzalo E. Imaz
Personal actual
Personal anterior
Actividades
Seminarios
Conferencias
Doctoral Consortium
Noticias
Transferencia
25 aniversario
Usted está aquí
Home
>
Personal
>
Gonzalo E. Imaz
Gonzalo E. Imaz
Gonzalo E. Imaz
Personal actual
Personal anterior
Departamento de Razonamiento y Lógica
Email:
gonzalo@iiia.csic.es
Extension:
212
Web:
http://www.iiia.csic.es/~gonzalo
Position:
Scientific Staff
Publications
Projects
12 Publications
2013
Marc Pujol-Gonzalez
,
Jesús Cerquides
,
Gonzalo Escalada-Imaz
,
Pedro Meseguer
,
Juan A. Rodríguez-Aguilar
;
On Binary Max-Sum and Tractable HOPs
.
11th European Workshop on Multi-agent Systems (EUMAS 2013);
2013.
Download PDF
2011
Baklhshi M. S., Muhammad Aslam, Martinez-Enriquez A.M,
Gonzalo Escalada-Imaz
;
A Hybrid System for Reliability Centered Maintenance
.
International Journal of Hybrid Intelligent systems;
2011.
Download PDF
Muhammad A., Yasir M., Martinez-Enriquez A.M,
Gonzalo Escalada-Imaz
;
An Empirical Study of Awaraness in Web based Cooperative writing Applications
.
The Journal of American Science;
2011.
Download PDF
Tanveer S., Jamshaid O, Mannan A., Muhammad Aslam, Martinez-Enriquez A.M, Syed A.Z.,
Gonzalo Escalada-Imaz
;
Diagnosis in Sonogram of Gall Bladder
.
Tenth Mexican International Conference on Artificial Intelligence;
2011.
Download PDF
2010
Maliha S., Muhammad A., Ana María Martínez-Enriquez,
Gonzalo Escalada-Imaz
;
A rule based system for reliability centered maintenance
.
Ninth Mexican International Conference on Artificial Intelligence, MICAI 2010;
2010.
Download PDF
W. Tanveer, Ana María Martínez-Enriquez,
Gonzalo Escalada-Imaz
, A. Muhammad;
Sensing WithSense - An Intelligent Interface for participatory sensing
.
Fifth International Conference on Software ENgineering Advances, ICSEA 2010;
2010.
Download PDF
Ali Z., Aslam M., Ana María Martínez-Enriquez,
Gonzalo Escalada-Imaz
;
Text-Independent Speaker Identification Using VQ-HMM Model Based Multiple Classifier System
.
Lecture Notes in Artificial Intelligence;
2010.
Download PDF
2009
Muhammad Aslam, Ana María Martínez-Enriquez,
Gonzalo Escalada-Imaz
;
Collaborative Assistent to Handle MathML Expressions
.
Intelligent Computer Mathematics;
2009.
Download PDF
D. Decouchant,
Gonzalo Escalada-Imaz
, A.M. Martinez-Enriquez, S. Mendoza, A. Muhammad;
Contextual Awareness based Communication and Coauthoring Proximity in the Internet
.
Expert Systems with Applications;
2009.
Download PDF
2008
Muhammad Aslam, A.M. Martinez-Enriquez, D. Decouchant,
Gonzalo Escalada-Imaz
;
Proximity and Intelligent Assistance for Web Cooperative Production
.
IITA 2008, International Symposium on Intelligent Information Technology Application;
2008.
Download PDF
Muhammad Aslam, A.M. Martinez-Enriquez, D. Decouchant,
Gonzalo Escalada-Imaz
;
Work Proximity on Interrelated Coauthoring Production
.
CollabTech 2008, The Fourth International Conference on Collaboration Technologies;
2008.
Download PDF
2001
Edgar Altamirano
,
Gonzalo Escalada-Imaz
;
Extending polinomiality to a class of non-clausal many-valued Horn-like formulas
.
Lecture notes in artificial intelligence;
2001.
Download PDF
Plan Nacional
01 Enero 2016
-
31 Diciembre 2019
Lluís Godo
RASO
RAzonamiento, Satisfacción y Optimización
Intramural
01 Diciembre 2014
-
30 Noviembre 2017
Pedro Meseguer
Logal
Lógica y algoritmos
Plan Nacional
01 Enero 2014
-
31 Diciembre 2015
Pedro Meseguer
DAMAS
Una aproximación declarativa para modelizar, analizar y resolver problemas
Plan Nacional
01 Enero 2011
-
31 Diciembre 2013
Jordi Levy
TASSAT
TASSAT: Teoría, Aplicaciones y Sinergia en SAT, CSP Y FDL
Plan Nacional
01 Enero 2010
-
31 Diciembre 2012
Pedro Meseguer
RECEDIT
Weigted Soft Constraints: Centralized and Distributed Cases
-
15 Octubre 2007
-
15 Octubre 2010
Francesc Esteva
MULOG 2
Many-valued Logic: Foundations and Applications to Satisfiability, Argumentation and Ontologies
-
01 Octubre 2006
-
30 Septiembre 2009
Pedro Meseguer
REPLI-II-2006
Constraint reasoning and its application to planning
-
13 Diciembre 2004
-
13 Diciembre 2007
Francesc Esteva
MULOG
Lógica Multivaluada: fundamentos y aplicaciones al tratamiento de la vaguedad y la imprecisión
-
19 Diciembre 2000
-
18 Diciembre 2003
Gonzalo E. Imaz
DENOC
Non-Canonical Automated Deduction
Cargar más