Luis de Ledesma

According to our database, Luis de Ledesma authored at least 16 papers between 1991 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Showing the non-existence of solutions in systems of linear Diophantine equations.

Antonio Hernando, Luis de Ledesma, Luis M. Laita

Math. Comput. Simul., 2009

2008

A system simulating representation change phenomena while problem solving.

Antonio Hernando, Luis de Ledesma, Luis M. Laita

Math. Comput. Simul., 2008

2007

An Approach to Representation Changes While Executing Problem Solver Intelligent Systems.

Antonio Hernando, Luis de Ledesma, Luis M. Laita

Proceedings of the Six IEEE International Conference on Cognitive Informatics, 2007

2004

A Rule-Based Knowledge System for Diagnosis of Mental Retardation.

R. Sánchez-Morgado, Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, Laura Laita

Proceedings of the Biological and Medical Data Analysis, 5th International Symposium, 2004

2003

An Outline of an Expert System for Diagnosis and Treatment of Bronchogenic Carcinoma.

I. Rodríguez-Daza, Luis M. Laita, Eugenio Roanes-Lozano, A. M. Crespo-Alonso, Victor Maojo, Luis de Ledesma, Laura Laita

Proceedings of the Medical Data Analysis, 4th International Symposium, 2003

2002

A Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis.

Begoña Herrero, Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma, José Crespo, Laura Laita

Proceedings of the Artificial Intelligence, 2002

2001

A Methodology for Constructing Expert Systems for Medical Diagnosis.

Luis M. Laita, G. González-Páez, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma, Laura Laita

Proceedings of the Medical Data Analysis, Second International Symposium, 2001

A Computer Algebra Approach to Relational Systems Using Gröbner Bases.

Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, Tomasa Calvo, León González-Sotos

Proceedings of the Relational Methods in Computer Science, 2001

2000

George Boole, a Forerunner of Symbolic Computation.

Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori

Proceedings of the Artificial Intelligence and Symbolic Computation, 2000

1999

A computer algebra approach to verification and deduction in many-valued knowledge systems.

Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, José-Antonio Alonso

Soft Comput., 1999

Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria.

Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma

Proceedings of the Validation and Verification of Knowledge Based Systems, 1999

1997

A Computational Approach to George Boole's Discovery of Mathematical Logic.

Luis de Ledesma, Aurora Pérez, Daniel Borrajo, Luis M. Laita

Artif. Intell., 1997

1994

A formal model for knowledge-based systems verification.

Luis M. Laita, Julia Couto, Luis de Ledesma, Alejandro Fernández-Margarit

Int. J. Intell. Syst., 1994

An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus.

Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Eugenio Roanes-Macías

Proceedings of the Integrating Symbolic Mathematical Computation and Artificial Intelligence, 1994

1993

A Formal Study of Forward Reasoning Consistency on KBSs.

Luis M. Laita, Luis de Ledesma, Aurora Pérez, Betty Ramírez

Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, 1993

1991

A Formal Study of Consistency of KBSs.

Luis M. Laita, Julia Couto, Luis de Ledesma

Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, 1991