The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gonzalo Escalada-Imaz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  14. Collaborative Assistant to Handle MathML Expressions. [Citation Graph (, )][DBLP]


Search in 0.111secs, Finished in 0.112secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002