The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Luis M. Laita: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, Tomasa Calvo, L. Gozález-Sotos
    A Computer Algebra Approach to Relational Systems Using Gröbner Bases. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2001, pp:124-133 [Conf]
  2. Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori
    George Boole, a Forerunner of Symbolic Computation. [Citation Graph (0, 0)][DBLP]
    AISC, 2000, pp:1-19 [Conf]
  3. Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Eugenio Roanes-Macías
    An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus. [Citation Graph (0, 0)][DBLP]
    AISMC, 1994, pp:255-263 [Conf]
  4. Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo
    Inference and Verification in Medical Appropriateness Criteria Using Gröbner Bases. [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:183-194 [Conf]
  5. Begoña Herrero, Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma, José Crespo, Laura Laita
    A Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis. [Citation Graph (0, 0)][DBLP]
    AISC, 2002, pp:38-50 [Conf]
  6. Eugenio Roanes-Lozano, E. López-Vidriero Jr., Luis M. Laita, E. López-Vidriero, Victor Maojo, Eugenio Roanes-Macías
    An Expert System on Detection, Evaluation and Treatment of Hypertension. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:251-264 [Conf]
  7. Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías
    An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem. [Citation Graph (0, 0)][DBLP]
    AISMC, 1996, pp:71-86 [Conf]
  8. Eugenio Roanes-Lozano, R. García, Eugenio Roanes-Macías, A. Aparicio, Luis M. Laita
    Meta-Petro: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies. [Citation Graph (0, 0)][DBLP]
    CASC, 2005, pp:344-354 [Conf]
  9. Luis M. Laita, Julia Couto, Luis de Ledesma
    A Formal Study of Consistency of KBSs. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1991, pp:31-38 [Conf]
  10. Luis M. Laita, Luis de Ledesma, Aurora Pérez, Betty Ramírez
    A Formal Study of Forward Reasoning Consistency on KBSs. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1993, pp:209-216 [Conf]
  11. Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma
    Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1999, pp:53-65 [Conf]
  12. Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías
    An Application of an AI Methodology to Railway Interlocking Systems Using Computer Algebra. [Citation Graph (0, 0)][DBLP]
    IEA/AIE (Vol. 2), 1998, pp:687-696 [Conf]
  13. Luis M. Laita, G. González-Páez, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma, Laura Laita
    A Methodology for Constructing Expert Systems for Medical Diagnosis. [Citation Graph (0, 0)][DBLP]
    ISMDA, 2001, pp:146-152 [Conf]
  14. Victor Maojo, Luis M. Laita, Eugenio Roanes-Lozano, José Crespo, Juan Rodríguez-Pedrosa
    A New Computerized Method to Verify and Disseminate Medical Appropriateness Criteria. [Citation Graph (0, 0)][DBLP]
    ISMDA, 2000, pp:212-217 [Conf]
  15. I. Rodríguez-Daza, Luis M. Laita, Eugenio Roanes-Lozano, A. M. Crespo-Alonso, Victor Maojo, Luis de Ledesma, Laura Laita
    An Outline of an Expert System for Diagnosis and Treatment of Bronchogenic Carcinoma. [Citation Graph (0, 0)][DBLP]
    ISMDA, 2003, pp:118-126 [Conf]
  16. R. Sánchez-Morgado, Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, Laura Laita
    A Rule-Based Knowledge System for Diagnosis of Mental Retardation. [Citation Graph (0, 0)][DBLP]
    ISBMDA, 2004, pp:67-78 [Conf]
  17. Luis de Ledesma, Aurora Pérez, Daniel Borrajo, Luis M. Laita
    A Computational Approach to George Boole's Discovery of Mathematical Logic. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1997, v:91, n:2, pp:281-307 [Journal]
  18. Carlos Rodríguez-Solano, Luis M. Laita, Eugenio Roanes-Lozano, Luis López-Corral, Laura Laita
    A computational system for diagnosis of depressive situations. [Citation Graph (0, 0)][DBLP]
    Expert Syst. Appl., 2006, v:31, n:1, pp:47-55 [Journal]
  19. Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, Jose A. Alonso
    A computer algebra approach to verification and deduction in many-valued knowledge systems. [Citation Graph (0, 0)][DBLP]
    Soft Comput., 1999, v:3, n:1, pp:7-19 [Journal]
  20. Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías
    An accelerated-time simulation of departing passengers' flow in airport terminals. [Citation Graph (0, 0)][DBLP]
    Mathematics and Computers in Simulation, 2004, v:67, n:1-2, pp:163-172 [Journal]

  21. An Approach to Representation Changes While Executing Problem Solver Intelligent Systems. [Citation Graph (, )][DBLP]


  22. A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple. [Citation Graph (, )][DBLP]


  23. A Groebner bases-based approach to backward reasoning in rule based expert systems. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
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