Luis M. Laita

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Eugenio Roanes-Macías

> Home > Persons > Luis M. Laita

Publications

2009
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Roanes-LozanoHLR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Roanes-LozanoHLR09
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]
- view
  authority control:
- export record
  dblp key:
  - journals/mcs/Roanes-LozanoLRWRR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mcs/Roanes-LozanoLRWRR09
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)
2008
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/aisc/Roanes-LozanoLR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aisc/Roanes-LozanoLR08
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
2005
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/casc/Roanes-LozanoGRAL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/casc/Roanes-LozanoGRAL05
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]
- view
  authority control:
- export record
  dblp key:
  - journals/cse/Roanes-LozanoRL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cse/Roanes-LozanoRL04
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]
- view
  authority control:
- export record
  dblp key:
  - journals/cse/Roanes-LozanoRL04a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cse/Roanes-LozanoRL04a
Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita:
Some applications of Grobner bases. Comput. Sci. Eng. 6(3): 56-60 (2004)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/mcs/Roanes-LozanoLR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mcs/Roanes-LozanoLR04
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]
- view
  authority control:
- export record
  dblp key:
  - conf/aisc/Roanes-LozanoLLLMR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aisc/Roanes-LozanoLLLMR04
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
2002
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/mcs/Roanes-LozanoRL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mcs/Roanes-LozanoRL02
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)
2001
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/casc/Roanes-LozanoRL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/casc/Roanes-LozanoRL01
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
1999
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/casc/Roanes-LozanoRL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/casc/Roanes-LozanoRL99
Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita:
Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems. CASC 1999: 349-363
1998
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ieaaie/Roanes-LozanoLR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieaaie/Roanes-LozanoLR98
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
1996
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/aisc/Roanes-LozanoLR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aisc/Roanes-LozanoLR96
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
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/aisc/LaitaLRR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aisc/LaitaLRR94
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

a service of

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.