| 2001 |
|---|
| 13 | EE | Edgar Altamirano,
Gonzalo Escalada-Imaz:
Extending Polynomiality to a Class of Non-clausal Many-Valued Horn-Like Formulas.
ECSQARU 2001: 792-804 |
| 2000 |
|---|
| 12 | EE | Gonzalo Escalada-Imaz,
Rodolfo Torres-Velázquez:
Complexity Issues in the Davis and Putnam Scheme.
AIMSA 2000: 261-271 |
| 11 | EE | Gonzalo Escalada-Imaz:
A Temporal Many-Valued Logic for Real Time Control Systems.
AIMSA 2000: 91-100 |
| 10 | EE | Edgar Altamirano,
Gonzalo Escalada-Imaz:
Finding Tractable Formulas in NNF.
Computational Logic 2000: 493-507 |
| 9 | EE | Edgar Altamirano,
Gonzalo Escalada-Imaz:
An Efficient Proof Method for Non-clausal Reasoning.
ISMIS 2000: 534-542 |
| 1998 |
|---|
| 8 | | Bernhard Beckert,
Reiner Hähnle,
Gonzalo Escalada-Imaz:
Simplification of Many-Valued Logic Formulas Using Anti-Links.
J. Log. Comput. 8(4): 569-587 (1998) |
| 7 | EE | Felip Manyà,
Ramón Béjar,
Gonzalo Escalada-Imaz:
The satisfiability problem in regular CNF-formulas.
Soft Comput. 2(3): 116-123 (1998) |
| 1997 |
|---|
| 6 | | Gonzalo Escalada-Imaz,
Rodolfo Torres-Velázquez:
Algoritmos genéticos genéricos y basados en orden.
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 3: 10-29 (1997) |
| 1994 |
|---|
| 5 | | Lluís Vila,
Gonzalo Escalada-Imaz:
Temporal Token Calculus: a Temporal Reasoning Approach for Knowledge-Based.
GULP-PRODE (2) 1994 |
| 4 | | Gonzalo Escalada-Imaz,
Felip Manyà:
Efficient Interpretation of Propositional Multiple-valued Logic Programs.
IPMU 1994: 428-439 |
| 3 | | Gonzalo Escalada-Imaz,
Felip Manyà:
The Satisfiability Problem in Multiple-Valued Horn Formulae.
ISMVL 1994: 250-256 |
| 1991 |
|---|
| 2 | | Malik Ghallab,
Gonzalo Escalada-Imaz:
A Linear Control Algorithm for a Class of Rule-Based Systems.
J. Log. Program. 11(1&2): 117-132 (1991) |
| 1988 |
|---|
| 1 | | Gonzalo Escalada-Imaz,
Malik Ghallab:
A Practically Efficient and Almost Linear Unification Algorithm.
Artif. Intell. 36(2): 249-263 (1988) |
