Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: María-José Hidalgo
@article{DBLP:journals/jlp/Alonso-JimenezA18,
author = {Jos{\'{e}} A. Alonso{-}Jim{\'{e}}nez and
Gonzalo A. Aranda{-}Corral and
Joaqu{\'{\i}}n Borrego{-}D{\'{\i}}az and
Mar{\'{\i}}a Magdalena Fern{\'{a}}ndez{-}Lebr{\'{o}}n and
Mar{\'{\i}}a{-}Jos{\'{e}} Hidalgo{-}Doblado},
title = {A logic-algebraic tool for reasoning with Knowledge-Based Systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {101},
pages = {88--109},
year = {2018},
url = {https://doi.org/10.1016/j.jlamp.2018.09.001},
doi = {10.1016/J.JLAMP.2018.09.001},
timestamp = {Wed, 18 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Alonso-JimenezA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-00508,
author = {Jos{\'{e}} A. Alonso{-}Jim{\'{e}}nez and
Gonzalo A. Aranda{-}Corral and
Joaqu{\'{\i}}n Borrego{-}D{\'{\i}}az and
Mar{\'{\i}}a Magdalena Fern{\'{a}}ndez{-}Lebr{\'{o}}n and
Mar{\'{\i}}a{-}Jos{\'{e}} Hidalgo{-}Doblado},
title = {A logic-algebraic tool for reasoning with Knowledge-Based Systems},
journal = {CoRR},
volume = {abs/1809.00508},
year = {2018},
url = {http://arxiv.org/abs/1809.00508},
eprinttype = {arXiv},
eprint = {1809.00508},
timestamp = {Wed, 18 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-00508.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Hidalgo-DobladoABMR14,
author = {Mar{\'{\i}}a{-}Jos{\'{e}} Hidalgo{-}Doblado and
Jos{\'{e}} A. Alonso{-}Jim{\'{e}}nez and
Joaqu{\'{\i}}n Borrego{-}D{\'{\i}}az and
Francisco{-}Jes{\'{u}}s Mart{\'{\i}}n{-}Mateos and
Jos{\'{e}}{-}Luis Ruiz{-}Reina},
title = {Formally Verified Tableau-Based Reasoners for a Description Logic},
journal = {J. Autom. Reason.},
volume = {52},
number = {3},
pages = {331--360},
year = {2014},
url = {https://doi.org/10.1007/s10817-013-9291-8},
doi = {10.1007/S10817-013-9291-8},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Hidalgo-DobladoABMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Martin-MateosRAH11,
author = {Francisco{-}Jes{\'{u}}s Mart{\'{\i}}n{-}Mateos and
Jos{\'{e}}{-}Luis Ruiz{-}Reina and
Jos{\'{e}}{-}Antonio Alonso and
Mar{\'{\i}}a{-}Jos{\'{e}} Hidalgo},
title = {Proof Pearl: a Formal Proof of Higman's Lemma in {ACL2}},
journal = {J. Autom. Reason.},
volume = {47},
number = {3},
pages = {229--250},
year = {2011},
url = {https://doi.org/10.1007/s10817-010-9178-x},
doi = {10.1007/S10817-010-9178-X},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Martin-MateosRAH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/AlonsoBHMR07,
author = {Jos{\'{e}}{-}Antonio Alonso and
Joaqu{\'{\i}}n Borrego{-}D{\'{\i}}az and
Mar{\'{\i}}a{-}Jos{\'{e}} Hidalgo and
Francisco{-}Jes{\'{u}}s Mart{\'{\i}}n{-}Mateos and
Jos{\'{e}}{-}Luis Ruiz{-}Reina},
editor = {Klaus Schneider and
Jens Brandt},
title = {A Formally Verified Prover for the \emph{ALC} Description Logic},
booktitle = {Theorem Proving in Higher Order Logics, 20th International Conference,
TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4732},
pages = {135--150},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74591-4\_11},
doi = {10.1007/978-3-540-74591-4\_11},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/AlonsoBHMR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HidalgoAMR08,
author = {Mar{\'{\i}}a{-}Jos{\'{e}} Hidalgo and
Jos{\'{e}}{-}Antonio Alonso and
Francisco{-}Jes{\'{u}}s Mart{\'{\i}}n{-}Mateos and
Jos{\'{e}}{-}Luis Ruiz{-}Reina},
editor = {Demis Ballis and
Santiago Escobar and
Massimo Marchiori},
title = {Constructing Formally Verified Reasoners for the {ACL} Description
Logic},
booktitle = {Proceedings of the 3rd International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2007, Venice, Italy, December
14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {200},
number = {3},
pages = {87--102},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.04.094},
doi = {10.1016/J.ENTCS.2008.04.094},
timestamp = {Mon, 13 Feb 2023 11:22:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HidalgoAMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Ruiz-ReinaMAH06,
author = {Jos{\'{e}}{-}Luis Ruiz{-}Reina and
Francisco{-}Jes{\'{u}}s Mart{\'{\i}}n{-}Mateos and
Jos{\'{e}}{-}Antonio Alonso and
Mar{\'{\i}}a{-}Jos{\'{e}} Hidalgo},
title = {Formal Correctness of a Quadratic Unification Algorithm},
journal = {J. Autom. Reason.},
volume = {37},
number = {1-2},
pages = {67--92},
year = {2006},
url = {https://doi.org/10.1007/s10817-006-9030-5},
doi = {10.1007/S10817-006-9030-5},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Ruiz-ReinaMAH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Martin-MateosRAH05,
author = {Francisco{-}Jes{\'{u}}s Mart{\'{\i}}n{-}Mateos and
Jos{\'{e}}{-}Luis Ruiz{-}Reina and
Jos{\'{e}}{-}Antonio Alonso and
Mar{\'{\i}}a{-}Jos{\'{e}} Hidalgo},
editor = {Joe Hurd and
Thomas F. Melham},
title = {Proof Pearl: {A} Formal Proof of Higman's Lemma in {ACL2}},
booktitle = {Theorem Proving in Higher Order Logics, 18th International Conference,
TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3603},
pages = {358--372},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11541868\_23},
doi = {10.1007/11541868\_23},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Martin-MateosRAH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Martin-MateosAHR04,
author = {Francisco{-}Jes{\'{u}}s Mart{\'{\i}}n{-}Mateos and
Jos{\'{e}}{-}Antonio Alonso and
Mar{\'{\i}}a{-}Jos{\'{e}} Hidalgo and
Jos{\'{e}}{-}Luis Ruiz{-}Reina},
title = {Formal Verification of a Generic Framework to Synthetize SAT-Provers},
journal = {J. Autom. Reason.},
volume = {32},
number = {4},
pages = {287--313},
year = {2004},
url = {https://doi.org/10.1007/BF03177742},
doi = {10.1007/BF03177742},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Martin-MateosAHR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caepia/Martin-MateosAHR03,
author = {Francisco{-}Jes{\'{u}}s Mart{\'{\i}}n{-}Mateos and
Jos{\'{e}}{-}Antonio Alonso and
Mar{\'{\i}}a{-}Jos{\'{e}} Hidalgo and
Jos{\'{e}}{-}Luis Ruiz{-}Reina},
editor = {Ricardo Conejo and
Maite Urretavizcaya and
Jos{\'{e}}{-}Luis P{\'{e}}rez{-}de{-}la{-}Cruz},
title = {Formal Verification of Molecular Computational Models in {ACL2:} {A}
Case Study},
booktitle = {Current Topics in Artificial Intelligence, 10th Conference of the
Spanish Association for Artificial Intelligence, {CAEPIA} 2003, and
5th Conference on Technology Transfer, {TTIA} 2003, San Sebastian,
Spain, November 12-14, 2003. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3040},
pages = {344--353},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25945-9\_34},
doi = {10.1007/978-3-540-25945-9\_34},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/caepia/Martin-MateosAHR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Ruiz-ReinaJHM03,
author = {Jos{\'{e}}{-}Luis Ruiz{-}Reina and
Jos{\'{e}} Antonio Alonso Jimenez and
Mar{\'{\i}}a{-}Jos{\'{e}} Hidalgo and
Francisco{-}Jes{\'{u}}s Mart{\'{\i}}n{-}Mateos},
editor = {Maurice Bruynooghe},
title = {Formal Reasoning about Efficient Data Structures: {A} Case Study in
{ACL2}},
booktitle = {Logic Based Program Synthesis and Transformation, 13th International
Symposium {LOPSTR} 2003, Uppsala, Sweden, August 25-27, 2003, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3018},
pages = {75--91},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25938-1\_7},
doi = {10.1007/978-3-540-25938-1\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Ruiz-ReinaJHM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Martin-MateosAHR03,
author = {Francisco{-}Jes{\'{u}}s Mart{\'{\i}}n{-}Mateos and
Jos{\'{e}}{-}Antonio Alonso and
Mar{\'{\i}}a{-}Jos{\'{e}} Hidalgo and
Jos{\'{e}}{-}Luis Ruiz{-}Reina},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {A Formal Proof of Dickson's Lemma in {ACL2}},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {49--58},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_3},
doi = {10.1007/978-3-540-39813-4\_3},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Martin-MateosAHR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Ruiz-ReinaAHM02,
author = {Jos{\'{e}}{-}Luis Ruiz{-}Reina and
Jos{\'{e}}{-}Antonio Alonso and
Mar{\'{\i}}a{-}Jos{\'{e}} Hidalgo and
Francisco{-}Jes{\'{u}}s Mart{\'{\i}}n{-}Mateos},
title = {Formal Proofs About Rewriting Using {ACL2}},
journal = {Ann. Math. Artif. Intell.},
volume = {36},
number = {3},
pages = {239--262},
year = {2002},
url = {https://doi.org/10.1023/A:1016003314081},
doi = {10.1023/A:1016003314081},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Ruiz-ReinaAHM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Martin-MateosAHR02,
author = {Francisco{-}Jes{\'{u}}s Mart{\'{\i}}n{-}Mateos and
Jos{\'{e}}{-}Antonio Alonso and
Mar{\'{\i}}a{-}Jos{\'{e}} Hidalgo and
Jos{\'{e}}{-}Luis Ruiz{-}Reina},
editor = {Michael Leuschel},
title = {Verification in {ACL2} of a Generic Framework to Synthesize SAT-Provers},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {182--198},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_15},
doi = {10.1007/3-540-45013-0\_15},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Martin-MateosAHR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Martin-MateosAHR01,
author = {Francisco{-}Jes{\'{u}}s Mart{\'{\i}}n{-}Mateos and
Jos{\'{e}}{-}Antonio Alonso and
Mar{\'{\i}}a{-}Jos{\'{e}} Hidalgo and
Jos{\'{e}}{-}Luis Ruiz{-}Reina},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Verifying an Applicative {ATP} Using Multiset Relations},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {612--626},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_47},
doi = {10.1007/3-540-45654-6\_47},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Martin-MateosAHR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Ruiz-ReinaAHM00,
author = {Jos{\'{e}}{-}Luis Ruiz{-}Reina and
Jos{\'{e}}{-}Antonio Alonso and
Mar{\'{\i}}a{-}Jos{\'{e}} Hidalgo and
Francisco{-}Jes{\'{u}}s Mart{\'{\i}}n{-}Mateos},
editor = {John A. Campbell and
Eugenio Roanes{-}Lozano},
title = {Formalizing Rewriting in the {ACL2} Theorem Prover},
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 = {92--106},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44990-6\_7},
doi = {10.1007/3-540-44990-6\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Ruiz-ReinaAHM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Ruiz-ReinaAHM99,
author = {Jos{\'{e}}{-}Luis Ruiz{-}Reina and
Jos{\'{e}}{-}Antonio Alonso and
Mar{\'{\i}}a{-}Jos{\'{e}} Hidalgo and
Francisco{-}Jes{\'{u}}s Mart{\'{\i}}n{-}Mateos},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Mechanical verification of a rule-based unification algorithm in the
Boyer-Moore theorem prover},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {289--304},
year = {1999},
timestamp = {Tue, 03 Jan 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/Ruiz-ReinaAHM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2023-09-27 22:53 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:
