From Integrated Reasoning Specialists to \plug-and-play" Reasoning Components from Integrated Reasoning Specialists to \plug-and-play" Reasoning Components ?

Abstract

universit a di genova facolt a di ingegneria dipartimento informatica sistemistica telematica Abstract. There is an increasing evidence that a new generation of reasoning systems will be obtained via the integration of diierent reasoning paradigms. In the veriication arena, several proposals have been advanced on the integration of theorem proving with… (More)

Topics

Cite this paper

@inproceedings{Ranise1998FromIR, title={From Integrated Reasoning Specialists to \plug-and-play" Reasoning Components from Integrated Reasoning Specialists to \plug-and-play" Reasoning Components ?}, author={Silvio Ranise}, year={1998} }