Skip to main content
Català
English
Español
Search form
Search
Log-in
About IIIA
Presentation
History
Contributions to Artificial Intelligence 1986 - 1995
Contributions to Artificial Intelligence 1996 - 2001
Location
Work with us
Departments
Projects
Current Projects
Past Projects
Publications
Publications
Thesis
Staff
Current staff
Former staff
Gonzalo E. Imaz
Activities
Seminar
Conferences
Doctoral Consortium
Current news
Transfer
25th anniversary
You are here
Home
>
Staff
>
Gonzalo E. Imaz
Gonzalo E. Imaz
Current staff
Former staff
Gonzalo E. Imaz
Reasoning and Logic Department
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 January 2016
-
31 December 2019
Lluís Godo
RASO
RAzonamiento, Satisfacción y Optimización
Intramural
01 December 2014
-
30 November 2017
Pedro Meseguer
Logal
Lógica y algoritmos
Plan Nacional
01 January 2014
-
31 December 2015
Pedro Meseguer
DAMAS
Una aproximación declarativa para modelizar, analizar y resolver problemas
Plan Nacional
01 January 2011
-
31 December 2013
Jordi Levy
TASSAT
TASSAT: Teoría, Aplicaciones y Sinergia en SAT, CSP Y FDL
Plan Nacional
01 January 2010
-
31 December 2012
Pedro Meseguer
RECEDIT
Weigted Soft Constraints: Centralized and Distributed Cases
-
15 October 2007
-
15 October 2010
Francesc Esteva
MULOG 2
Many-valued Logic: Foundations and Applications to Satisfiability, Argumentation and Ontologies
-
01 October 2006
-
30 September 2009
Pedro Meseguer
REPLI-II-2006
Constraint reasoning and its application to planning
-
13 December 2004
-
13 December 2007
Francesc Esteva
MULOG
Lógica Multivaluada: fundamentos y aplicaciones al tratamiento de la vaguedad y la imprecisión
-
19 December 2000
-
18 December 2003
Gonzalo E. Imaz
DENOC
Non-Canonical Automated Deduction
Load more