A Practically Efficient and Almost Linear Unification Algorithm. - Gonzalo Escalada-Imaz; Malik Ghallab (Artif. Intell., 1988)

A Linear Control Algorithm for a Class of Rule-Based Systems. - Malik Ghallab; Gonzalo Escalada-Imaz (J. Log. Program., 1991)

Temporal Token Calculus: a Temporal Reasoning Approach for Knowledge-Based. - Lluís Vila; Gonzalo Escalada-Imaz (GULP-PRODE (2), 1994)

Efficient Interpretation of Propositional Multiple-valued Logic Programs. - Gonzalo Escalada-Imaz; Felip Manyà (IPMU, 1994)

The Satisfiability Problem in Multiple-Valued Horn Formulae. - Gonzalo Escalada-Imaz; Felip Manyà (ISMVL, 1994)

Algoritmos genéticos genéricos y basados en orden. - Gonzalo Escalada-Imaz; Rodolfo Torres-Velázquez (Inteligencia Artif., 1997)

Simplification of Many-Valued Logic Formulas Using Anti-Links. - Bernhard Beckert; Reiner Hähnle; Gonzalo Escalada-Imaz (J. Log. Comput., 1998)

The satisfiability problem in regular CNF-formulas. - Felip Manyà; Ramón Béjar; Gonzalo Escalada-Imaz (Soft Comput., 1998)

A Temporal Many-Valued Logic for Real Time Control Systems. - Gonzalo Escalada-Imaz (AIMSA, 2000)

Complexity Issues in the Davis and Putnam Scheme. - Gonzalo Escalada-Imaz; Rodolfo Torres-Velázquez (AIMSA, 2000)

Finding Tractable Formulas in NNF. - Edgar Altamirano; Gonzalo Escalada-Imaz (Computational Logic, 2000)

An Efficient Proof Method for Non-clausal Reasoning. - Edgar Altamirano; Gonzalo Escalada-Imaz (ISMIS, 2000)

Extending Polynomiality to a Class of Non-clausal Many-Valued Horn-Like Formulas. - Edgar Altamirano; Gonzalo Escalada-Imaz (ECSQARU, 2001)

Collaborative Assistant to Handle MathML Expressions. - Aslam Muhammad 001; Ana María Martínez Enríquez; Gonzalo Escalada-Imaz (Calculemus/MKM, 2009)

Contextual awareness based communication and coauthoring proximity in the internet. - Dominique Decouchant; Gonzalo Escalada-Imaz; Ana María Martínez Enríquez; Sonia Mendoza; Aslam Muhammad 001 (Expert Syst. Appl., 2009)

Sensing WithSense - An Intelligent Interface for Participatory Sensing. - Wasif Tanveer; Ana María Martínez Enríquez; Gonzalo Escalada-Imaz; Aslam Muhammad 001 (ICSEA, 2010)

A Rule Based System for Reliability Centered Maintenance. - B. Maliha Saleem; Aslam Muhammad 001; Ana María Martínez Enríquez; Gonzalo Escalada-Imaz (MICAI (Special Sessions), 2010)

Text-Independent Speaker Identification Using VQ-HMM Model Based Multiple Classifier System. - Ali Zulfiqar; Aslam Muhammad 001; Ana María Martínez Enríquez; Gonzalo Escalada-Imaz (MICAI (2), 2010)

Diagnosis in Sonogram of Gall Bladder. - Saad Tanveer; Omer Jamshaid; Abdul Mannan; Aslam Muhammad 001; Ana María Martínez Enríquez; Afraz Zahra Syed; Gonzalo Escalada-Imaz (MICAI (1), 2011)

A hybrid system for reliability centered maintenance m{1}. - Maliha Saleem Bakhshi; Aslam Muhammad 001; Ana María Martínez Enríquez; Gonzalo Escalada-Imaz (Int. J. Hybrid Intell. Syst., 2011)

Phonetic Unification of Multiple Accents for Spanish and Arabic Languages. - Saad Tanveer; Aslam Muhammad 001; Ana María Martínez Enríquez; Gonzalo Escalada-Imaz (MCPR, 2012)

Problem Solving Environment Based on Knowledge Based System Principles. - Ana María Martínez Enríquez; Gonzalo Escalada-Imaz; Aslam Muhammad 001 (MCPR, 2014)

The Horn Non-Clausal Class and its Polynomiality. - Gonzalo E. Imaz (CoRR, 2021)

The possibilistic horn non-clausal knowledge bases. - Gonzalo E. Imaz (Int. J. Approx. Reason., 2023)

A first polynomial non-clausal class in many-valued logic. - Gonzalo E. Imaz (Fuzzy Sets Syst., 2023)