default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLuis M. Laita
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2011
[j21]Antonio Hernando
, Eugenio Roanes-Lozano, Luis M. Laita:
A Polynomial Model for Logics with a Prime Power Number of Truth Values. J. Autom. Reason. 46(2): 205-221 (2011)- [j20]Eugenio Roanes-Lozano, Antonio Hernando, José-Antonio Alonso, Luis M. Laita:
A logic approach to decision taking in a railway interlocking system using Maple. Math. Comput. Simul. 82(1): 15-28 (2011) - 2010
- [j19]Carlos Rodríguez-Solano, Luis M. Laita:
An algebraic approach to Parkinson disease diagnosis. Expert Syst. Appl. 37(12): 7997-8005 (2010)
2000 – 2009
- 2009
- [j18]Eugenio Roanes-Lozano, Antonio Hernando, Luis M. Laita, Eugenio Roanes-Macías:
A Groebner bases-based approach to backward reasoning in rule based expert systems. Ann. Math. Artif. Intell. 56(3-4): 297-311 (2009) - [j17]Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías, Michael J. Wester, José Luis Ruiz-Lozano, Carlos Roncero:
Evolution of railway network flexibility: The Spanish broad gauge case. Math. Comput. Simul. 79(8): 2317-2332 (2009) - [j16]Antonio Hernando, Luis de Ledesma, Luis M. Laita:
Showing the non-existence of solutions in systems of linear Diophantine equations. Math. Comput. Simul. 79(11): 3211-3220 (2009) - 2008
- [j15]M. Lourdes Jiménez, José M. Santamaría, Roberto Barchino, Laura Laita, Luis M. Laita, León A. González, Angel Asenjo:
Knowledge representation for diagnosis of care problems through an expert system: Model of the auto-care deficit situations. Expert Syst. Appl. 34(4): 2847-2857 (2008) - [j14]Antonio Hernando, Luis de Ledesma, Luis M. Laita:
A system simulating representation change phenomena while problem solving. Math. Comput. Simul. 78(1): 89-106 (2008) - [c20]Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías:
A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple. AISC/MKM/Calculemus 2008: 170-183 - 2007
- [c19]Antonio Hernando, Luis de Ledesma, Luis M. Laita:
An Approach to Representation Changes While Executing Problem Solver Intelligent Systems. IEEE ICCI 2007: 35-42 - 2006
- [j13]Carlos Rodríguez-Solano, Luis M. Laita, Eugenio Roanes-Lozano, Luis López-Corral, Laura Laita:
A computational system for diagnosis of depressive situations. Expert Syst. Appl. 31(1): 47-55 (2006) - 2005
- [c18]Eugenio Roanes-Lozano, R. García, Eugenio Roanes-Macías, Alfredo Aparicio Yagüe, Luis M. Laita:
Meta-Petro: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies. CASC 2005: 344-354 - 2004
- [j12]Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita:
The geometry of algebraic systems and their exact solving using Grobner bases. Comput. Sci. Eng. 6(2): 76-79 (2004) - [j11]Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita:
Some applications of Grobner bases. Comput. Sci. Eng. 6(3): 56-60 (2004) - [j10]Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías:
An accelerated-time simulation of departing passengers' flow in airport terminals. Math. Comput. Simul. 67(1-2): 163-172 (2004) - [c17]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. AISC 2004: 251-264 - [c16]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. ISBMDA 2004: 67-78 - 2003
- [c15]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. ISMDA 2003: 118-126 - 2002
- [j9]Cristina Pérez-Carretero, Luis M. Laita, Eugenio Roanes-Lozano, Luis Lázaro, Jesús González-Cajal, Laura Laita:
A logic and computer algebra-based expert system for diagnosis of anorexia. Math. Comput. Simul. 58(3): 183-202 (2002) - [j8]Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita:
A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking. Math. Comput. Simul. 58(3): 203-214 (2002) - [c14]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. AISC 2002: 38-50 - 2001
- [c13]Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, Tomasa Calvo, León González-Sotos:
A Computer Algebra Approach to Relational Systems Using Gröbner Bases. RelMiCS 2001: 124-133 - [c12]Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita:
A Method of Logic Deduction and Verification in KBS Using Positive Integers. CASC 2001: 461-475 - [c11]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. ISMDA 2001: 146-152 - 2000
- [j7]Frans Coenen, Trevor J. M. Bench-Capon, Robin Boswell, Juliette Dibie-Barthélemy, Barry Eaglestone, Rik Gerrits, Éric Grégoire, Antoni Ligeza, Luis M. Laita, Mieczyslaw L. Owoc, Florence Sellini, Silvie Spreeuwenberg, Jan Vanthienen, Anca I. Vermesan, Nirmalie Wiratunga:
Validation and verification of knowledge-based systems: report on EUROVAV99. Knowl. Eng. Rev. 15(2): 187-196 (2000) - [c10]Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori:
George Boole, a Forerunner of Symbolic Computation. AISC 2000: 1-19 - [c9]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. ISMDA 2000: 212-217
1990 – 1999
- 1999
- [j6]Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, José-Antonio Alonso:
A computer algebra approach to verification and deduction in many-valued knowledge systems. Soft Comput. 3(1): 7-19 (1999) - [c8]Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita:
Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems. CASC 1999: 349-363 - [c7]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. EUROVAV 1999: 53-65 - 1998
- [c6]Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo:
Inference and Verification in Medical Appropriateness Criteria Using Gröbner Bases. AISC 1998: 183-194 - [c5]Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías:
An Application of an AI Methodology to Railway Interlocking Systems Using Computer Algebra. IEA/AIE (Vol. 2) 1998: 687-696 - 1997
- [j5]Luis de Ledesma, Aurora Pérez, Daniel Borrajo, Luis M. Laita:
A Computational Approach to George Boole's Discovery of Mathematical Logic. Artif. Intell. 91(2): 281-307 (1997) - 1996
- [c4]Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías:
An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem. AISMC 1996: 71-86 - 1994
- [j4]Luis M. Laita, Julia Couto, Luis de Ledesma, Alejandro Fernández-Margarit:
A formal model for knowledge-based systems verification. Int. J. Intell. Syst. 9(9): 769-786 (1994) - [c3]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. AISMC 1994: 255-263 - 1993
- [c2]Luis M. Laita, Luis de Ledesma, Aurora Pérez, Betty Ramírez:
A Formal Study of Forward Reasoning Consistency on KBSs. EUROVAV 1993: 209-216 - 1991
- [c1]Luis M. Laita, Julia Couto, Luis de Ledesma:
A Formal Study of Consistency of KBSs. EUROVAV 1991: 31-38
1980 – 1989
- 1987
- [j3]Alejandro Margarit, Luis M. Laita:
Abraham Robinson's Meta-Algebra Revisited. Math. Log. Q. 33(6): 497-505 (1987) - [j2]Agustin Riscos, Luis M. Laita:
N-Categories in Logic. Math. Log. Q. 33(6): 507-516 (1987)
1970 – 1979
- 1976
- [j1]Luis M. Laita:
A study of algebraic logic from the point of view of category theory. Notre Dame J. Formal Log. 17(1): 89-118 (1976)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
