Luis M. Laita scite author profile

Luis M. Laita

5Publications

76Citation Statements Received

45Citation Statements Given

How they've been cited

171

How they cite others

Affiliations

Real Academia Española, Universidad Politécnica de Madrid, Universidad de Sevilla

Publications

Order By: Most citations

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

et al. 1999

View full text Add to dashboard Cite

A theoretical result [10] that relates tautological consequence in many-valued logics to the ideal membership problem in algebra is revisited. The intended use of the approach in this article and its implementation is the verification of consistency and the automated extraction of knowledge in rule-based knowledge systems. Programs are written in the CoCoA language. Four RBS are studied to illustrate the implementation.

show abstract

A polynomial model for multi-valued Logics with a touch of Algebraic Geometry and Computer Algebra

Roanes–Lozano¹,

Laita²,

Roanes-Macı́as³

1998

Mathematics and Computers in Simulation

View full text Add to dashboard Cite

Railway interlocking systems and Gröbner bases

Roanes–Lozano

Roanes-Macı́as

Laita

2000

Mathematics and Computers in Simulation

View full text Add to dashboard Cite

Knowledge representation for diagnosis of care problems through an expert system: Model of the auto-care deficit situations

Jimenez

Santamaría²,

Barchino

et al. 2008

Expert Systems with Applications

View full text Add to dashboard Cite

A logic and computer algebra-based expert system for diagnosis of anorexia

Pérez-Carretero

Laita

Roanes–Lozano

et al. 2002

Mathematics and Computers in Simulation

View full text Add to dashboard Cite

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

customersupport@researchsolutions.com

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Made with 💙 for researchers

Part of the Research Solutions Family.

Luis M. Laita

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

A polynomial model for multi-valued Logics with a touch of Algebraic Geometry and Computer Algebra

Railway interlocking systems and Gröbner bases

Knowledge representation for diagnosis of care problems through an expert system: Model of the auto-care deficit situations

A logic and computer algebra-based expert system for diagnosis of anorexia

Contact Info

Product

Resources

About