Composing and Controlling Search in Reasoning Theories using Mappings.pdfVIP

ISTITUTO PER LA RICERCA SCIENTIFICA E TECNOLOGICA 38050 Povo (Trento), Italy Tel.: +39 0461 314575 − Fax: +39 0461 314591 e−mail: prdoc@itc.it − url: http://www.itc.it Composing and Controlling Search in Reasoning Theories using Mappings A. Coglio, F. Giunchiglia, J. Meseguer, and C. Talcott June 2000 Revised Version of Technical Report # 9807−04  Istituto Trentino di Cultura, 2000 LIMITED DISTRIBUTION NOTICE This report has been submitted for publication outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Report for early dissemination of its contents. In view of the transfer of copyright to the outside publisher, its distribution outside of ITC prior to publication should be limited to peer communications and specific requests. After ouside publication, requests should be filled only by reprints or legally obtained copies of the article. Composing and Controlling Search in Reasoning Theories using Mappings Alessandro Coglio , Fausto Giunchiglia , Jos´e Meseguer , and Carolyn L. Talcott 1 Kestrel Institute, Palo Alto, CA coglio@ 2 IRST and Universit`a di Trento, Italy fausto@irst.itc.it 3 SRI International, Menlo Park, CA meseguer@ 4 Stanford University, CA clt@ Abstract. Reasoning theories can be used to specify heterogeneous reasoning systems. In this paper we present an equational version of reasoning theories, and we study their struct