G. Escalada-Imaz

TR-2003-09 The HORN-NNF-SAT problem is linear

E. Altamirano, G. Escalada-Imaz, 2003 .

Temporal Token Calculus: a Temporal Reasoning Approach for Knowledge-Based

Gonzalo Escalada-Imaz, Lluís Vila, G. Escalada-Imaz, 1994, GULP-PRODE.

A Temporal Many-Valued Logic for Real Time Control Systems

Gonzalo Escalada-Imaz, G. Escalada-Imaz, 2000, AIMSA.

A hybrid system for reliability centered maintenance\m{1}

Ana María Martínez Enríquez, Gonzalo Escalada-Imaz, Aslam Muhammad, 2011, Int. J. Hybrid Intell. Syst..

A Rule Based System for Reliability Centered Maintenance

Ana María Martínez Enríquez, Gonzalo Escalada-Imaz, Aslam Muhammad, 2010, 2010 Ninth Mexican International Conference on Artificial Intelligence.

Complexity Issues in the Davis and Putnam Scheme

Gonzalo Escalada-Imaz, Rodolfo Torres-Velázquez, Rodolfo Torres-Velázquez, 2000, AIMSA.

Reducing time by avoiding process serialisations in or-parallel interpretation of logic programs

G. Escalada-Imaz, F. Manya Serres, G. Escalada-Imaz, 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.

Finding Tractable Formulas in NNF

Gonzalo Escalada-Imaz, Edgar Altamirano, E. Altamirano, 2000, Computational Logic.

Efficient Interpretation of Propositional Multiple-valued Logic Programs

Felip Manyà, Gonzalo Escalada-Imaz, F. Manyà, 1994, IPMU.