From Integrated Reasoning Specialists to "Plug-and-Play" Reasoning Components

  title={From Integrated Reasoning Specialists to "Plug-and-Play" Reasoning Components},
  author={Alessandro Armando and Silvio Ranise},
There is an increasing evidence that a new generation of reasoning systems will be obtained via the integration of different reasoning paradigms. In the verification arena, several proposals have been advanced on the integration of theorem proving with model checking. At the same time, the advantages of integrating symbolic computation with deductive capabilities has been recognized and several proposals to this end have been put forward. We propose a methodology for turning reasoning… CONTINUE READING

From This Paper

Topics from this paper.


Publications referenced by this paper.

Similar Papers

Loading similar papers…