Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Luis M. Laita
@article{DBLP:journals/jar/HernandoRL11, author = {Antonio Hernando and Eugenio Roanes{-}Lozano and Luis M. Laita}, title = {A Polynomial Model for Logics with a Prime Power Number of Truth Values}, journal = {J. Autom. Reason.}, volume = {46}, number = {2}, pages = {205--221}, year = {2011}, url = {https://doi.org/10.1007/s10817-010-9191-0}, doi = {10.1007/S10817-010-9191-0}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/HernandoRL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mcs/Roanes-LozanoHAL11, author = {Eugenio Roanes{-}Lozano and Antonio Hernando and Jos{\'{e}}{-}Antonio Alonso and Luis M. Laita}, title = {A logic approach to decision taking in a railway interlocking system using Maple}, journal = {Math. Comput. Simul.}, volume = {82}, number = {1}, pages = {15--28}, year = {2011}, url = {https://doi.org/10.1016/j.matcom.2010.05.024}, doi = {10.1016/J.MATCOM.2010.05.024}, timestamp = {Wed, 04 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mcs/Roanes-LozanoHAL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eswa/Rodriguez-SolanoL10, author = {Carlos Rodr{\'{\i}}guez{-}Solano and Luis M. Laita}, title = {An algebraic approach to Parkinson disease diagnosis}, journal = {Expert Syst. Appl.}, volume = {37}, number = {12}, pages = {7997--8005}, year = {2010}, url = {https://doi.org/10.1016/j.eswa.2010.05.091}, doi = {10.1016/J.ESWA.2010.05.091}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eswa/Rodriguez-SolanoL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/Roanes-LozanoHLR09, author = {Eugenio Roanes{-}Lozano and Antonio Hernando and Luis M. Laita and Eugenio Roanes{-}Mac{\'{\i}}as}, title = {A Groebner bases-based approach to backward reasoning in rule based expert systems}, journal = {Ann. Math. Artif. Intell.}, volume = {56}, number = {3-4}, pages = {297--311}, year = {2009}, url = {https://doi.org/10.1007/s10472-009-9147-4}, doi = {10.1007/S10472-009-9147-4}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/amai/Roanes-LozanoHLR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mcs/Roanes-LozanoLRWRR09, author = {Eugenio Roanes{-}Lozano and Luis M. Laita and Eugenio Roanes{-}Mac{\'{\i}}as and Michael J. Wester and Jos{\'{e}} Luis Ruiz{-}Lozano and Carlos Roncero}, title = {Evolution of railway network flexibility: The Spanish broad gauge case}, journal = {Math. Comput. Simul.}, volume = {79}, number = {8}, pages = {2317--2332}, year = {2009}, url = {https://doi.org/10.1016/j.matcom.2008.11.007}, doi = {10.1016/J.MATCOM.2008.11.007}, timestamp = {Wed, 04 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mcs/Roanes-LozanoLRWRR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mcs/HernandoLL09, author = {Antonio Hernando and Luis de Ledesma and Luis M. Laita}, title = {Showing the non-existence of solutions in systems of linear Diophantine equations}, journal = {Math. Comput. Simul.}, volume = {79}, number = {11}, pages = {3211--3220}, year = {2009}, url = {https://doi.org/10.1016/j.matcom.2009.03.004}, doi = {10.1016/J.MATCOM.2009.03.004}, timestamp = {Wed, 04 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mcs/HernandoLL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eswa/JimenezSBLLGA08, author = {M. Lourdes Jim{\'{e}}nez and Jos{\'{e}} M. Santamar{\'{\i}}a and Roberto Barchino and Laura Laita and Luis M. Laita and Le{\'{o}}n A. Gonz{\'{a}}lez and Angel Asenjo}, title = {Knowledge representation for diagnosis of care problems through an expert system: Model of the auto-care deficit situations}, journal = {Expert Syst. Appl.}, volume = {34}, number = {4}, pages = {2847--2857}, year = {2008}, url = {https://doi.org/10.1016/j.eswa.2007.05.039}, doi = {10.1016/J.ESWA.2007.05.039}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eswa/JimenezSBLLGA08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mcs/HernandoLL08, author = {Antonio Hernando and Luis de Ledesma and Luis M. Laita}, title = {A system simulating representation change phenomena while problem solving}, journal = {Math. Comput. Simul.}, volume = {78}, number = {1}, pages = {89--106}, year = {2008}, url = {https://doi.org/10.1016/j.matcom.2007.06.009}, doi = {10.1016/J.MATCOM.2007.06.009}, timestamp = {Wed, 04 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mcs/HernandoLL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/Roanes-LozanoLR08, author = {Eugenio Roanes{-}Lozano and Luis M. Laita and Eugenio Roanes{-}Mac{\'{\i}}as}, editor = {Serge Autexier and John A. Campbell and Julio Rubio and Volker Sorge and Masakazu Suzuki and Freek Wiedijk}, title = {A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple}, booktitle = {Intelligent Computer Mathematics, 9th International Conference, {AISC} 2008, 15th Symposium, Calculemus 2008, 7th International Conference, {MKM} 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5144}, pages = {170--183}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-85110-3\_14}, doi = {10.1007/978-3-540-85110-3\_14}, timestamp = {Mon, 05 Feb 2024 20:35:32 +0100}, biburl = {https://dblp.org/rec/conf/aisc/Roanes-LozanoLR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEicci/HernandoLL07, author = {Antonio Hernando and Luis de Ledesma and Luis M. Laita}, editor = {Du Zhang and Yingxu Wang and Witold Kinsner}, title = {An Approach to Representation Changes While Executing Problem Solver Intelligent Systems}, booktitle = {Proceedings of the Six {IEEE} International Conference on Cognitive Informatics, {ICCI} 2007, August 6-8, Lake Tahoe, CA, {USA}}, pages = {35--42}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/COGINF.2007.4341870}, doi = {10.1109/COGINF.2007.4341870}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/IEEEicci/HernandoLL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eswa/Rodriguez-SolanoLRLL06, author = {Carlos Rodr{\'{\i}}guez{-}Solano and Luis M. Laita and Eugenio Roanes{-}Lozano and Luis L{\'{o}}pez{-}Corral and Laura Laita}, title = {A computational system for diagnosis of depressive situations}, journal = {Expert Syst. Appl.}, volume = {31}, number = {1}, pages = {47--55}, year = {2006}, url = {https://doi.org/10.1016/j.eswa.2005.09.011}, doi = {10.1016/J.ESWA.2005.09.011}, timestamp = {Wed, 14 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eswa/Rodriguez-SolanoLRLL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Roanes-LozanoGRAL05, author = {Eugenio Roanes{-}Lozano and R. Garc{\'{\i}}a and Eugenio Roanes{-}Mac{\'{\i}}as and Alfredo Aparicio Yag{\"{u}}e and Luis M. Laita}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {\emph{Meta-Petro}: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {344--354}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_29}, doi = {10.1007/11555964\_29}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/casc/Roanes-LozanoGRAL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cse/Roanes-LozanoRL04, author = {Eugenio Roanes{-}Lozano and Eugenio Roanes{-}Mac{\'{\i}}as and Luis M. Laita}, title = {The geometry of algebraic systems and their exact solving using Grobner bases}, journal = {Comput. Sci. Eng.}, volume = {6}, number = {2}, pages = {76--79}, year = {2004}, url = {https://doi.org/10.1109/MCISE.2004.1267612}, doi = {10.1109/MCISE.2004.1267612}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cse/Roanes-LozanoRL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cse/Roanes-LozanoRL04a, author = {Eugenio Roanes{-}Lozano and Eugenio Roanes{-}Mac{\'{\i}}as and Luis M. Laita}, title = {Some applications of Grobner bases}, journal = {Comput. Sci. Eng.}, volume = {6}, number = {3}, pages = {56--60}, year = {2004}, url = {https://doi.org/10.1109/MCISE.2004.1289309}, doi = {10.1109/MCISE.2004.1289309}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cse/Roanes-LozanoRL04a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mcs/Roanes-LozanoLR04, author = {Eugenio Roanes{-}Lozano and Luis M. Laita and Eugenio Roanes{-}Mac{\'{\i}}as}, title = {An accelerated-time simulation of departing passengers' flow in airport terminals}, journal = {Math. Comput. Simul.}, volume = {67}, number = {1-2}, pages = {163--172}, year = {2004}, url = {https://doi.org/10.1016/j.matcom.2004.05.016}, doi = {10.1016/J.MATCOM.2004.05.016}, timestamp = {Wed, 04 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mcs/Roanes-LozanoLR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/Roanes-LozanoLLLMR04, author = {Eugenio Roanes{-}Lozano and E. L{\'{o}}pez{-}Vidriero Jr. and Luis M. Laita and E. L{\'{o}}pez{-}Vidriero and Victor Maojo and Eugenio Roanes{-}Mac{\'{\i}}as}, editor = {Bruno Buchberger and John A. Campbell}, title = {An Expert System on Detection, Evaluation and Treatment of Hypertension}, booktitle = {Artificial Intelligence and Symbolic Computation, 7th International Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3249}, pages = {251--264}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30210-0\_21}, doi = {10.1007/978-3-540-30210-0\_21}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/aisc/Roanes-LozanoLLLMR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismda/Sanchez-MorgadoLRLL04, author = {R. S{\'{a}}nchez{-}Morgado and Luis M. Laita and Eugenio Roanes{-}Lozano and Luis de Ledesma and Laura Laita}, editor = {Jos{\'{e}} Mar{\'{\i}}a Barreiro and Fernando Mart{\'{\i}}n{-}S{\'{a}}nchez and Victor Maojo and Ferran Sanz}, title = {A Rule-Based Knowledge System for Diagnosis of Mental Retardation}, booktitle = {Biological and Medical Data Analysis, 5th International Symposium, {ISBMDA} 2004, Barcelona, Spain, November 18-19, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3337}, pages = {67--78}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30547-7\_8}, doi = {10.1007/978-3-540-30547-7\_8}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/ismda/Sanchez-MorgadoLRLL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismda/Rodriguez-DazaLRCMLL03, author = {I. Rodr{\'{\i}}guez{-}Daza and Luis M. Laita and Eugenio Roanes{-}Lozano and A. M. Crespo{-}Alonso and Victor Maojo and Luis de Ledesma and Laura Laita}, editor = {Petra Perner and R{\"{u}}diger W. Brause and Hermann{-}Georg Holzh{\"{u}}tter}, title = {An Outline of an Expert System for Diagnosis and Treatment of Bronchogenic Carcinoma}, booktitle = {Medical Data Analysis, 4th International Symposium, {ISMDA} 2003, Berlin, Germany, October 9-10, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2868}, pages = {118--126}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-39619-2\_15}, doi = {10.1007/978-3-540-39619-2\_15}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/ismda/Rodriguez-DazaLRCMLL03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mcs/Perez-CarreteroLRLGL02, author = {Cristina P{\'{e}}rez{-}Carretero and Luis M. Laita and Eugenio Roanes{-}Lozano and Luis L{\'{a}}zaro and Jes{\'{u}}s Gonz{\'{a}}lez{-}Cajal and Laura Laita}, title = {A logic and computer algebra-based expert system for diagnosis of anorexia}, journal = {Math. Comput. Simul.}, volume = {58}, number = {3}, pages = {183--202}, year = {2002}, url = {https://doi.org/10.1016/S0378-4754(01)00370-6}, doi = {10.1016/S0378-4754(01)00370-6}, timestamp = {Wed, 04 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mcs/Perez-CarreteroLRLGL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mcs/Roanes-LozanoRL02, author = {Eugenio Roanes{-}Lozano and Eugenio Roanes{-}Mac{\'{\i}}as and Luis M. Laita}, title = {A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking}, journal = {Math. Comput. Simul.}, volume = {58}, number = {3}, pages = {203--214}, year = {2002}, url = {https://doi.org/10.1016/S0378-4754(01)00371-8}, doi = {10.1016/S0378-4754(01)00371-8}, timestamp = {Wed, 04 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mcs/Roanes-LozanoRL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/HerreroLRMLCL02, author = {Bego{\~{n}}a Herrero and Luis M. Laita and Eugenio Roanes{-}Lozano and Victor Maojo and Luis de Ledesma and Jos{\'{e}} Crespo and Laura Laita}, editor = {Jacques Calmet and Belaid Benhamou and Olga Caprotti and Laurent Henocque and Volker Sorge}, title = {A Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis}, booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, {AISC} 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2385}, pages = {38--50}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45470-5\_7}, doi = {10.1007/3-540-45470-5\_7}, timestamp = {Sun, 02 Jun 2019 21:23:47 +0200}, biburl = {https://dblp.org/rec/conf/aisc/HerreroLRMLCL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/LaitaRLCG01, author = {Luis M. Laita and Eugenio Roanes{-}Lozano and Luis de Ledesma and Tomasa Calvo and Le{\'{o}}n Gonz{\'{a}}lez{-}Sotos}, editor = {Harrie C. M. de Swart}, title = {A Computer Algebra Approach to Relational Systems Using Gr{\"{o}}bner Bases}, booktitle = {Relational Methods in Computer Science, 6th International Conference, RelMICS 2001, and 1st Workshop of {COST} Action 274 {TARSKI} Oisterwijk, The Netherlands, October 16-21, 2001, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2561}, pages = {124--133}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-36280-0\_9}, doi = {10.1007/3-540-36280-0\_9}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/LaitaRLCG01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Roanes-LozanoRL01, author = {Eugenio Roanes{-}Lozano and Eugenio Roanes{-}Mac{\'{\i}}as and Luis M. Laita}, editor = {Victor G. Ganzha and Ernst Wilhelm Mayr and Evgenii V. Vorozhtsov}, title = {A Method of Logic Deduction and Verification in {KBS} Using Positive Integers}, booktitle = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany, September 22-26, 2001}, pages = {461--475}, publisher = {Springer Berlin Heidelberg}, year = {2001}, url = {https://doi.org/10.1007/978-3-642-56666-0\_35}, doi = {10.1007/978-3-642-56666-0\_35}, timestamp = {Sat, 03 Dec 2022 16:36:45 +0100}, biburl = {https://dblp.org/rec/conf/casc/Roanes-LozanoRL01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismda/LaitaGRMLL01, author = {Luis M. Laita and G. Gonz{\'{a}}lez{-}P{\'{a}}ez and Eugenio Roanes{-}Lozano and Victor Maojo and Luis de Ledesma and Laura Laita}, editor = {Jos{\'{e}} Crespo and Victor Maojo and Fernando Martin}, title = {A Methodology for Constructing Expert Systems for Medical Diagnosis}, booktitle = {Medical Data Analysis, Second International Symposium, {ISMDA} 2001, Madrid, Spain, October 8-9, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2199}, pages = {146--152}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45497-7\_22}, doi = {10.1007/3-540-45497-7\_22}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/ismda/LaitaGRMLL01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ker/CoenenBBDEGGLLOSSVVW00, author = {Frans Coenen and Trevor J. M. Bench{-}Capon and Robin Boswell and Juliette Dibie{-}Barth{\'{e}}lemy and Barry Eaglestone and Rik Gerrits and {\'{E}}ric Gr{\'{e}}goire and Antoni Ligeza and Luis M. Laita and Mieczyslaw L. Owoc and Florence Sellini and Silvie Spreeuwenberg and Jan Vanthienen and Anca I. Vermesan and Nirmalie Wiratunga}, title = {Validation and verification of knowledge-based systems: report on {EUROVAV99}}, journal = {Knowl. Eng. Rev.}, volume = {15}, number = {2}, pages = {187--196}, year = {2000}, url = {https://doi.org/10.1017/S0269888900002010}, doi = {10.1017/S0269888900002010}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ker/CoenenBBDEGGLLOSSVVW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/LaitaLRB00, author = {Luis M. Laita and Luis de Ledesma and Eugenio Roanes{-}Lozano and Alberto Brunori}, editor = {John A. Campbell and Eugenio Roanes{-}Lozano}, title = {George Boole, a Forerunner of Symbolic Computation}, booktitle = {Artificial Intelligence and Symbolic Computation, International Conference {AISC} 2000 Madrid, Spain, July 17-19, 2000, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {1930}, pages = {1--19}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44990-6\_1}, doi = {10.1007/3-540-44990-6\_1}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/aisc/LaitaLRB00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismda/MaojoLRCR00, author = {Victor Maojo and Luis M. Laita and Eugenio Roanes{-}Lozano and Jos{\'{e}} Crespo and Juan Rodr{\'{\i}}guez{-}Pedrosa}, editor = {R{\"{u}}diger W. Brause and Ernst Hanisch}, title = {A New Computerized Method to Verify and Disseminate Medical Appropriateness Criteria}, booktitle = {Medical Data Analysis, First International Symposium, {ISMDA} 2000, Frankfurt, Germany, September 29-30, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1933}, pages = {212--217}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-39949-6\_26}, doi = {10.1007/3-540-39949-6\_26}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/ismda/MaojoLRCR00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/soco/LaitaRLA99, author = {Luis M. Laita and Eugenio Roanes{-}Lozano and Luis de Ledesma and Jos{\'{e}}{-}Antonio Alonso}, title = {A computer algebra approach to verification and deduction in many-valued knowledge systems}, journal = {Soft Comput.}, volume = {3}, number = {1}, pages = {7--19}, year = {1999}, url = {https://doi.org/10.1007/s005000050086}, doi = {10.1007/S005000050086}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/soco/LaitaRLA99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Roanes-LozanoRL99, author = {Eugenio Roanes{-}Lozano and Eugenio Roanes{-}Mac{\'{\i}}as and Luis M. Laita}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems}, booktitle = {Proceedings of the Second Workshop on Computer Algebra in Scientific Computing, {CASC} 1999, Munich, Germany, May 31 - June 4, 1999}, pages = {349--363}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-642-60218-4\_29}, doi = {10.1007/978-3-642-60218-4\_29}, timestamp = {Tue, 25 Jun 2019 15:50:01 +0200}, biburl = {https://dblp.org/rec/conf/casc/Roanes-LozanoRL99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/LaitaRML99, author = {Luis M. Laita and Eugenio Roanes{-}Lozano and Victor Maojo and Luis de Ledesma}, editor = {Anca I. Vermesan and Frans Coenen}, title = {Computer Algebra Based Verification and Knowledge Extraction in {RBS} - Application to Medical Fitness Criteria}, booktitle = {Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from {EUROVAV} '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway}, pages = {53--65}, publisher = {Kluwer}, year = {1999}, timestamp = {Wed, 17 Apr 2002 07:53:32 +0200}, biburl = {https://dblp.org/rec/conf/eurovav/LaitaRML99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/LaitaRM98, author = {Luis M. Laita and Eugenio Roanes{-}Lozano and Victor Maojo}, editor = {Jacques Calmet and Jan A. Plaza}, title = {Inference and Verification in Medical Appropriateness Criteria Using Gr{\"{o}}bner Bases}, booktitle = {Artificial Intelligence and Symbolic Computation, International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1476}, pages = {183--194}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0055912}, doi = {10.1007/BFB0055912}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/aisc/LaitaRM98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ieaaie/Roanes-LozanoLR98, author = {Eugenio Roanes{-}Lozano and Luis M. Laita and Eugenio Roanes{-}Mac{\'{\i}}as}, editor = {Angel P. del Pobil and Jos{\'{e}} Mira and Moonis Ali}, title = {An Application of an {AI} Methodology to Railway Interlocking Systems Using Computer Algebra}, booktitle = {Tasks and Methods in Applied Artificial Intelligence, 11th International Conference on Industrial and Engineering Applications of Artificial In telligence and Expert Systems, IEA/AIE-98, Castell{\'{o}}n, Spain, June 1-4, 1998, Proceedings, Volume {II}}, series = {Lecture Notes in Computer Science}, volume = {1416}, pages = {687--696}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-64574-8\_455}, doi = {10.1007/3-540-64574-8\_455}, timestamp = {Tue, 29 Dec 2020 18:33:32 +0100}, biburl = {https://dblp.org/rec/conf/ieaaie/Roanes-LozanoLR98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/LedesmaPBL97, author = {Luis de Ledesma and Aurora P{\'{e}}rez and Daniel Borrajo and Luis M. Laita}, title = {A Computational Approach to George Boole's Discovery of Mathematical Logic}, journal = {Artif. Intell.}, volume = {91}, number = {2}, pages = {281--307}, year = {1997}, url = {https://doi.org/10.1016/S0004-3702(97)00017-9}, doi = {10.1016/S0004-3702(97)00017-9}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/LedesmaPBL97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/Roanes-LozanoLR96, author = {Eugenio Roanes{-}Lozano and Luis M. Laita and Eugenio Roanes{-}Mac{\'{\i}}as}, editor = {Jacques Calmet and John A. Campbell and Jochen Pfalzgraf}, title = {An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem}, booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1138}, pages = {71--86}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61732-9\_51}, doi = {10.1007/3-540-61732-9\_51}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/aisc/Roanes-LozanoLR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijis/LaitaCLF94, author = {Luis M. Laita and Julia Couto and Luis de Ledesma and Alejandro Fern{\'{a}}ndez{-}Margarit}, title = {A formal model for knowledge-based systems verification}, journal = {Int. J. Intell. Syst.}, volume = {9}, number = {9}, pages = {769--786}, year = {1994}, url = {https://doi.org/10.1002/int.4550090902}, doi = {10.1002/INT.4550090902}, timestamp = {Fri, 05 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijis/LaitaCLF94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/LaitaLRR94, author = {Luis M. Laita and Luis de Ledesma and Eugenio Roanes{-}Lozano and Eugenio Roanes{-}Mac{\'{\i}}as}, editor = {Jacques Calmet and John A. Campbell}, title = {An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus}, booktitle = {Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {958}, pages = {255--263}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60156-2\_18}, doi = {10.1007/3-540-60156-2\_18}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/aisc/LaitaLRR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/LaitaLPR93, author = {Luis M. Laita and Luis de Ledesma and Aurora P{\'{e}}rez and Betty Ram{\'{\i}}rez}, editor = {Jes{\'{u}}s Carde{\~{n}}osa Lera and Pedro Meseguer}, title = {A Formal Study of Forward Reasoning Consistency on KBSs}, booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, {EUROVAV} '93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain}, pages = {209--216}, publisher = {Universidad Polit{\'{e}}cnica de Madrid}, year = {1993}, timestamp = {Mon, 16 Nov 2020 08:57:08 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/LaitaLPR93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/LaitaCL91, author = {Luis M. Laita and Julia Couto and Luis de Ledesma}, editor = {Matthew Grisoni}, title = {A Formal Study of Consistency of KBSs}, booktitle = {Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991}, pages = {31--38}, publisher = {Logica Ltd., Cambridge, {UK}}, year = {1991}, timestamp = {Fri, 05 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurovav/LaitaCL91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/MargaritL87, author = {Alejandro Margarit and Luis M. Laita}, title = {Abraham Robinson's Meta-Algebra Revisited}, journal = {Math. Log. Q.}, volume = {33}, number = {6}, pages = {497--505}, year = {1987}, url = {https://doi.org/10.1002/malq.19870330604}, doi = {10.1002/MALQ.19870330604}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/MargaritL87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/RiscosL87, author = {Agustin Riscos and Luis M. Laita}, title = {N-Categories in Logic}, journal = {Math. Log. Q.}, volume = {33}, number = {6}, pages = {507--516}, year = {1987}, url = {https://doi.org/10.1002/malq.19870330605}, doi = {10.1002/MALQ.19870330605}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/RiscosL87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Laita76, author = {Luis M. Laita}, title = {A study of algebraic logic from the point of view of category theory}, journal = {Notre Dame J. Formal Log.}, volume = {17}, number = {1}, pages = {89--118}, year = {1976}, url = {https://doi.org/10.1305/ndjfl/1093887428}, doi = {10.1305/NDJFL/1093887428}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Laita76.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.