Gonzalo Escalada-Imaz

Publication Activity (10 Years)

Years Active: 1988-2014
Publications (10 Years): 0

Top Topics

Inference Engine

Rule Based Systems

Arabic Language

Top Venues

Publications

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