Luis M. Laita
According to our database1,
Luis M. Laita
authored at least 41 papers
between 1976 and 2011.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2011
Math. Comput. Simul., 2011
J. Autom. Reason., 2011
2010
2009
Math. Comput. Simul., 2009
Math. Comput. Simul., 2009
Ann. Math. Artif. Intell., 2009
2008
Math. Comput. Simul., 2008
Knowledge representation for diagnosis of care problems through an expert system: Model of the auto-care deficit situations.
Expert Syst. Appl., 2008
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008
2007
An Approach to Representation Changes While Executing Problem Solver Intelligent Systems.
Proceedings of the Six IEEE International Conference on Cognitive Informatics, 2007
2006
Expert Syst. Appl., 2006
2005
<i>Meta-Petro</i>: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies.
Proceedings of the Computer Algebra in Scientific Computing, 8th International Workshop, 2005
2004
Math. Comput. Simul., 2004
Comput. Sci. Eng., 2004
Proceedings of the Biological and Medical Data Analysis, 5th International Symposium, 2004
Proceedings of the Artificial Intelligence and Symbolic Computation, 2004
2003
An Outline of an Expert System for Diagnosis and Treatment of Bronchogenic Carcinoma.
Proceedings of the Medical Data Analysis, 4th International Symposium, 2003
2002
A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking.
Math. Comput. Simul., 2002
Math. Comput. Simul., 2002
Proceedings of the Artificial Intelligence, 2002
2001
Proceedings of the Medical Data Analysis, Second International Symposium, 2001
Proceedings of the Computer Algebra in Scientific Computing, 2001
Proceedings of the Relational Methods in Computer Science, 2001
2000
Knowl. Eng. Rev., 2000
A New Computerized Method to Verify and Disseminate Medical Appropriateness Criteria.
Proceedings of the Medical Data Analysis, First International Symposium, 2000
Proceedings of the Artificial Intelligence and Symbolic Computation, 2000
1999
A computer algebra approach to verification and deduction in many-valued knowledge systems.
Soft Comput., 1999
Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria.
Proceedings of the Validation and Verification of Knowledge Based Systems, 1999
Proceedings of the Second Workshop on Computer Algebra in Scientific Computing, 1999
1998
An Application of an AI Methodology to Railway Interlocking Systems Using Computer Algebra.
Proceedings of the Tasks and Methods in Applied Artificial Intelligence, 1998
Proceedings of the Artificial Intelligence and Symbolic Computation, 1998
1997
Artif. Intell., 1997
1996
An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem.
Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1996
1994
An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus.
Proceedings of the Integrating Symbolic Mathematical Computation and Artificial Intelligence, 1994
1993
A Formal Study of Forward Reasoning Consistency on KBSs.
Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, 1993
1991
A Formal Study of Consistency of KBSs.
Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, 1991
1987
1976
Notre Dame J. Formal Log., 1976