José-Antonio Alonso

Publication Activity (10 Years)

Years Active: 1999-2014
Publications (10 Years): 0

Top Topics

Datalog Programs

Top Venues

Math. Comput. Simul.

Publications

Eugenio Roanes-Lozano, José-Antonio Alonso, Antonio Hernando
Revisiting four-valued logics from Maple using the Logics Explorer package. Math. Comput. Simul. 104 (2014)
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) (2011)
Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo
Proof Pearl: a Formal Proof of Higman's Lemma in ACL2. J. Autom. Reason. 47 (3) (2011)
María-José Hidalgo, José-Antonio Alonso, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina
Constructing Formally Verified Reasoners for the ACL Description Logic. Electron. Notes Theor. Comput. Sci. 200 (3) (2008)
José-Antonio Alonso, Joaquín Borrego-Díaz, María-José Hidalgo, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina
Description Logic. TPHOLs (2007)
José-Antonio Alonso, Gonzalo A. Aranda-Corral, Francisco J. Martín-Mateos
KRRT: Knowledge Representation and Reasoning Tutor System. EUROCAST (2007)
José-Luis Ruiz-Reina, Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo
Formal Correctness of a Quadratic Unification Algorithm. J. Autom. Reason. 37 (1-2) (2006)
José-Antonio Alonso, María Teresa Lamata
Consistency in the Analytic Hierarchy Process: a New Approach. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 14 (4) (2006)
Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo
Proof Pearl: A Formal Proof of Higman's Lemma in ACL2. TPHOLs (2005)
Manuel Palomo-Duarte, Francisco-Jesús Martín-Mateos, José-Antonio Alonso
Rete Algorithm Applied to Robotic Soccer. EUROCAST (2005)
José-Antonio Alonso, María Teresa Lamata
A Statistical Criterion of Consistency in the Analytic Hierarchy Process. MDAI (2005)
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
Formal Verification of a Generic Framework to Synthetize SAT-Provers. J. Autom. Reason. 32 (4) (2004)
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
A Formal Proof of Dickson's Lemma in ACL2. LPAR (2003)
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
Formal Verification of Molecular Computational Models in ACL2: A Case Study. CAEPIA (2003)
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers. LOPSTR (2002)
José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos
Formal Proofs About Rewriting Using ACL2. Ann. Math. Artif. Intell. 36 (3) (2002)
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
Verifying an Applicative ATP Using Multiset Relations. EUROCAST (2001)
José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos
Formalizing Rewriting in the ACL2 Theorem Prover. AISC (2000)
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) (1999)
José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos
Mechanical verification of a rule-based unification algorithm in the Boyer-Moore theorem prover. APPIA-GULP-PRODE (1999)