Gonzalo Escalada-Imaz

22 papers C 4Misc 2Journal 7Unranked 9
YearRankTypeTitle / Venue / Authors
2014 — conf
Problem Solving Environment Based on Knowledge Based System Principles.
MCPR
Ana María Martínez Enríquez, Gonzalo Escalada-Imaz, Aslam Muhammad
2012 — conf
Phonetic Unification of Multiple Accents for Spanish and Arabic Languages.
MCPR
Saad Tanveer, Aslam Muhammad, Ana María Martínez Enríquez, Gonzalo Escalada-Imaz
2011 J jnl
A hybrid system for reliability centered maintenance\m{1}.
Int. J. Hybrid Intell. Syst.
Maliha Saleem Bakhshi, Aslam Muhammad, Ana María Martínez Enríquez, Gonzalo Escalada-Imaz
2011 — conf
Diagnosis in Sonogram of Gall Bladder.
MICAI (1)
Saad Tanveer, Omer Jamshaid, Abdul Mannan, Aslam Muhammad, Ana María Martínez Enríquez, Afraz Zahra Syed, Gonzalo Escalada-Imaz
2010 — conf
A Rule Based System for Reliability Centered Maintenance.
MICAI (Special Sessions)
B. Maliha Saleem, Aslam Muhammad, Ana María Martínez Enríquez, Gonzalo Escalada-Imaz
2010 C conf
Sensing WithSense - An Intelligent Interface for Participatory Sensing.
ICSEA
Wasif Tanveer, Ana María Martínez Enríquez, Gonzalo Escalada-Imaz, Aslam Muhammad
2010 — conf
Text-Independent Speaker Identification Using VQ-HMM Model Based Multiple Classifier System.
MICAI (2)
Ali Zulfiqar, Aslam Muhammad, Ana María Martínez Enríquez, Gonzalo Escalada-Imaz
2009 — conf
Collaborative Assistant to Handle MathML Expressions.
Calculemus/MKM
Aslam Muhammad, Ana María Martínez Enríquez, Gonzalo Escalada-Imaz
2009 J jnl
Contextual awareness based communication and coauthoring proximity in the internet.
Expert Syst. Appl.
Dominique Decouchant, Gonzalo Escalada-Imaz, Ana María Martínez Enríquez, Sonia Mendoza, Aslam Muhammad
2001 C conf
Extending Polynomiality to a Class of Non-clausal Many-Valued Horn-Like Formulas.
ECSQARU
Edgar Altamirano, Gonzalo Escalada-Imaz
2000 Misc conf
A Temporal Many-Valued Logic for Real Time Control Systems.
AIMSA
Gonzalo Escalada-Imaz
2000 C conf
An Efficient Proof Method for Non-clausal Reasoning.
ISMIS
Edgar Altamirano, Gonzalo Escalada-Imaz
2000 Misc conf
Complexity Issues in the Davis and Putnam Scheme.
AIMSA
Gonzalo Escalada-Imaz, Rodolfo Torres-Velázquez
2000 — conf
Finding Tractable Formulas in NNF.
Computational Logic
Edgar Altamirano, Gonzalo Escalada-Imaz
1998 J jnl
Simplification of Many-Valued Logic Formulas Using Anti-Links.
J. Log. Comput.
Bernhard Beckert, Reiner Hähnle, Gonzalo Escalada-Imaz
1998 J jnl
The satisfiability problem in regular CNF-formulas.
Soft Comput.
Felip Manyà, Ramón Béjar, Gonzalo Escalada-Imaz
1997 J jnl
Algoritmos genéticos genéricos y basados en orden.
Inteligencia Artif.
Gonzalo Escalada-Imaz, Rodolfo Torres-Velázquez
1994 C conf
Efficient Interpretation of Propositional Multiple-valued Logic Programs.
IPMU
Gonzalo Escalada-Imaz, Felip Manyà
1994 — conf
Temporal Token Calculus: a Temporal Reasoning Approach for Knowledge-Based.
GULP-PRODE (2)
Lluís Vila, Gonzalo Escalada-Imaz
1994 — conf
The Satisfiability Problem in Multiple-Valued Horn Formulae.
ISMVL
Gonzalo Escalada-Imaz, Felip Manyà
1991 J jnl
A Linear Control Algorithm for a Class of Rule-Based Systems.
J. Log. Program.
Malik Ghallab, Gonzalo Escalada-Imaz
1988 J jnl
A Practically Efficient and Almost Linear Unification Algorithm.
Artif. Intell.
Gonzalo Escalada-Imaz, Malik Ghallab