José-Antonio Alonso

Orcid: 0000-0002-8770-8831

According to our database1, José-Antonio Alonso authored at least 19 papers between 1999 and 2014.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Revisiting four-valued logics from Maple using the Logics Explorer package.
Math. Comput. Simul., 2014

2011
A logic approach to decision taking in a railway interlocking system using Maple.
Math. Comput. Simul., 2011

Proof Pearl: a Formal Proof of Higman's Lemma in ACL2.
J. Autom. Reason., 2011

2007
Constructing Formally Verified Reasoners for the ACL Description Logic.
Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, 2007

A Formally Verified Prover for the <i>ALC</i> Description Logic.
Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007

KRRT: Knowledge Representation and Reasoning Tutor System.
Proceedings of the Computer Aided Systems Theory, 2007

2006
Formal Correctness of a Quadratic Unification Algorithm.
J. Autom. Reason., 2006

Consistency in the Analytic Hierarchy Process: a New Approach.
Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2006

2005
A Statistical Criterion of Consistency in the Analytic Hierarchy Process.
Proceedings of the Modeling Decisions for Artificial Intelligence, 2005

Rete Algorithm Applied to Robotic Soccer.
Proceedings of the Computer Aided Systems Theory, 2005

2004
Formal Verification of a Generic Framework to Synthetize SAT-Provers.
J. Autom. Reason., 2004

2003
A Formal Proof of Dickson's Lemma in ACL2.
Proceedings of the Logic for Programming, 2003

Formal Verification of Molecular Computational Models in ACL2: A Case Study.
Proceedings of the Current Topics in Artificial Intelligence, 2003

2002
Formal Proofs About Rewriting Using ACL2.
Ann. Math. Artif. Intell., 2002

Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers.
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

2001
Verifying an Applicative ATP Using Multiset Relations.
Proceedings of the Computer Aided Systems Theory, 2001

2000
Formalizing Rewriting in the ACL2 Theorem Prover.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2000

1999
A computer algebra approach to verification and deduction in many-valued knowledge systems.
Soft Comput., 1999

Mechanical verification of a rule-based unification algorithm in the Boyer-Moore theorem prover.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999


  Loading...