Applying semantic subsumption rules in the context of inductive proofs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1998

Applying semantic subsumption rules in the context of inductive proofs

Abstract

Due to the inherent incompleteness of the inductive proof methods, they should be combined with other methods more suitable to reason on specific domains. In the paper, it is shown how the standard inference system of SPIKE theorem prover can be extended with semantic subsumption rules in order to facilitate a better integration of other reasoning modules.
No file

Dates and versions

inria-00098496 , version 1 (25-09-2006)

Identifiers

  • HAL Id : inria-00098496 , version 1

Cite

Sorin Stratulat. Applying semantic subsumption rules in the context of inductive proofs. Workshop on Integration of Deductive Systems - CADE-15, 1998, none, 11 p. ⟨inria-00098496⟩
50 View
0 Download

Share

Gmail Facebook X LinkedIn More