Beagle – A Hierarchic Superposition Prover - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2015

Beagle – A Hierarchic Superposition Prover

Résumé

Beagle is an automated theorem prover for first-order logic modulo built-in theories. It implements a refined version of the hierarchic superposition calculus. This system description focuses on Beagle ’s proof procedure, background reasoning facilities, implementation, and experimental results.

Domaines

Logique en informatique [cs.LO]

Stephan Merz  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01251377

Soumis le : mercredi 6 janvier 2016-10:12:33

Dernière modification le : mercredi 24 juillet 2024-10:30:03

Consulter le texte intégral

Dates et versions

hal-01251377 , version 1 (06-01-2016)

Identifiants

Citer

Peter Baumgartner, Joshua Bax, Uwe Waldmann. Beagle – A Hierarchic Superposition Prover. 25th International Conference on Automated Deduction (CADE-25), Aug 2015, Berlin, Germany. pp.367-377, ⟨10.1007/978-3-319-21401-6_25⟩. ⟨hal-01251377⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM
93 Consultations
0 Téléchargements

Altmetric

Partager

More