José-Antonio Alonso

20 papers B 2C 1Misc 1Journal 8Unranked 8
YearRankTypeTitle / Venue / Authors
2014 J jnl
Revisiting four-valued logics from Maple using the Logics Explorer package.
Math. Comput. Simul.
Eugenio Roanes-Lozano, José-Antonio Alonso, Antonio Hernando
2011 J jnl
A logic approach to decision taking in a railway interlocking system using Maple.
Math. Comput. Simul.
Eugenio Roanes-Lozano, Antonio Hernando, José-Antonio Alonso, Luis M. Laita
2011 J jnl
Proof Pearl: a Formal Proof of Higman's Lemma in ACL2.
J. Autom. Reason.
Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo
2007 — conf
A Formally Verified Prover for the
TPHOLs
José-Antonio Alonso, Joaquín Borrego-Díaz, María-José Hidalgo, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina
2007 — conf
Constructing Formally Verified Reasoners for the ACL Description Logic.
WWV
María-José Hidalgo, José-Antonio Alonso, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina
2007 — conf
KRRT: Knowledge Representation and Reasoning Tutor System.
EUROCAST
José-Antonio Alonso, Gonzalo A. Aranda-Corral, Francisco J. Martín-Mateos
2006 J jnl
Consistency in the Analytic Hierarchy Process: a New Approach.
Int. J. Uncertain. Fuzziness Knowl. Based Syst.
José-Antonio Alonso, M. Teresa Lamata
2006 J jnl
Formal Correctness of a Quadratic Unification Algorithm.
J. Autom. Reason.
José-Luis Ruiz-Reina, Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo
2005 B conf
A Statistical Criterion of Consistency in the Analytic Hierarchy Process.
MDAI
José-Antonio Alonso, María Teresa Lamata
2005 — conf
Proof Pearl: A Formal Proof of Higman's Lemma in ACL2.
TPHOLs
Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo
2005 — conf
Rete Algorithm Applied to Robotic Soccer.
EUROCAST
Manuel Palomo-Duarte, Francisco-Jesús Martín-Mateos, José-Antonio Alonso
2004 J jnl
Formal Verification of a Generic Framework to Synthetize SAT-Provers.
J. Autom. Reason.
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
2003 B conf
A Formal Proof of Dickson's Lemma in ACL2.
LPAR
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
2003 — conf
Formal Verification of Molecular Computational Models in ACL2: A Case Study.
CAEPIA
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
2002 J jnl
Formal Proofs About Rewriting Using ACL2.
Ann. Math. Artif. Intell.
José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos
2002 C conf
Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers.
LOPSTR
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
2001 — conf
Verifying an Applicative ATP Using Multiset Relations.
EUROCAST
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
2000 Misc conf
Formalizing Rewriting in the ACL2 Theorem Prover.
AISC
José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos
1999 J jnl
A computer algebra approach to verification and deduction in many-valued knowledge systems.
Soft Comput.
Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, José-Antonio Alonso
1999 — conf
Mechanical verification of a rule-based unification algorithm in the Boyer-Moore theorem prover.
APPIA-GULP-PRODE
José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos