Deduction in many-valued logics: a survey R Hähnle, G Escalada Imaz Mathware & soft computing. 1997 Vol. 4 Núm. 2, 1997 | 68 | 1997 |
The satisfiability problem in multiple-valued horn formulae G Escalada-Imaz, F Manya Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL …, 1994 | 41 | 1994 |
The satisfiability problem in regular CNF-formulas F Manya, R Béjar, G Escalada-Imaz Soft Computing 2 (3), 116-123, 1998 | 35 | 1998 |
Efficient interpretation of prepositional multiple-valued logic programs G Escalada-Imaz, F Manya International Conference on Information Processing and Management of …, 1994 | 25 | 1994 |
A linear control algorithm for a class of rule-based systems M Ghallab, EI Gonzalo The journal of logic programming 11 (2), 117-132, 1991 | 25 | 1991 |
A practically efficient and almost linear unification algorithm G Escalada-Imaz, M Ghallab Artificial Intelligence 36 (2), 249-263, 1988 | 24 | 1988 |
Contextual awareness based communication and coauthoring proximity in the internet D Decouchant, G Escalada-Imaz, AMM Enriquez, S Mendoza, ... Expert Systems with Applications 36 (4), 8391-8406, 2009 | 17 | 2009 |
Text-independent speaker identification using VQ-HMM model based multiple classifier system A Zulfiqar, A Muhammad, AM Martinez-Enriquez, G Escalada-Imaz Mexican International Conference on Artificial Intelligence, 116-125, 2010 | 15 | 2010 |
Simplification of many-valued logic formulas using anti-links B Beckert, R Hähnle, G Escalada-Imaz Journal of Logic and Computation 8 (4), 569-587, 1998 | 12 | 1998 |
Optimisation d'algorithmes d'inference monotone en logique des propositions et du premier ordre G Escalada-Imaz Toulouse 3, 1989 | 10 | 1989 |
Breakdown Prediction of Different Components of Robotics SM Virk, A Muhammad, AMM Enriquez, IG Escalada 2008 Second International Symposium on Intelligent Information Technology …, 2008 | 7 | 2008 |
An efficient proof method for non-clausal reasoning E Altamirano, G Escalada-Imaz International Symposium on Methodologies for Intelligent Systems, 534-542, 2000 | 7 | 2000 |
A temporal many-valued logic for real time control systems G Escalada-Imaz International Conference on Artificial Intelligence: Methodology, Systems …, 2000 | 7 | 2000 |
Finding tractable formulas in NNF E Altamirano, G Escalada-Imaz International Conference on Computational Logic, 493-507, 2000 | 5 | 2000 |
On binary max-sum and tractable hops M Pujol-Gonzalez, J Cerquides, G Escalada-Imaz, P Meseguer, ... European Workshop on Multi-agent Systems (EUMAS), 2013 | 4 | 2013 |
Sensing WithSense-An Intelligent Interface for Participatory Sensing W Tanveer, AM Martinez-Enriquez, G Escalada-Imaz, M Aslam 2010 Fifth International Conference on Software Engineering Advances, 400-405, 2010 | 3 | 2010 |
Collaborative assistant to handle MathML expressions A Muhammad, AMM Enriquez, G Escalada-Imaz International Conference on Intelligent Computer Mathematics, 453-459, 2009 | 3 | 2009 |
Proximity and Intelligent Assistance for Web Cooperative Production M Aslam, AMM Enriquez, D Decouchant, IG Escalada 2008 Second International Symposium on Intelligent Information Technology …, 2008 | 3 | 2008 |
Algoritmos genéticos genéricos y basados en orden. G Escalada-Imaz, R Torres-Velázquez Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 3 …, 1997 | 3 | 1997 |
Principios de programación lógica con información incierta. Descripción de algunos de los sistemas más relevantes (Principles of Logic Programming with Uncertain Information … G Escalada-Imaz, FM Serres, A Sobrino Theoria: An International Journal for Theory, History and Foundations of …, 1996 | 3 | 1996 |