aim of the present research was to design a proper model for management of knowledge in environmental organizations of country. in study of the model, suitability of the proposed model was researched by asking views of directors, deputies, managers of groups and scientific board members of environmental organizations of country. for this purpose, with review of research literature, insight pro...

This paper describes the integration of the ATP support of the TPTPWorld into the Sigma Knowledge Engineering Environment. The result is an interactive knowledge based reasoning environment, with strong knowledge management features, and access to modern state of the art ATP systems for reasoning over knowledge bases.

engineering and related sciences are among the most important compartments of the knowledge, which has been developed during centuries in order to provide a better life for human being. unfortunately, during the expansion of this knowledge, the aim has been sometimes neglected. in fact, human being has been destroying and depleting the natural resources, which is related on them for his life. t...

We report on the application of higher-order automated theorem proving in ontology reasoning. Concretely, we have integrated the Sigma knowledge engineering environment and the Suggested Upper-Level Ontology (SUMO) with the higher-order theorem prover LEO-II. The basis for this integration is a translation from SUMO’s SUO-KIF representations into the new typed higher-order form representation l...

In an increasingly competitive market, banks are constantly searching for sustainable competitive advantage to help them maintain their edge against competition. Over the years, banks have tried various drivers for competitive advantage, none of which were sufficient barriers for competitors. Understanding the behavior of their customers and using this knowledge to drive the interaction with cu...

management of environmental education is the most fundamental method of protecting environment which is intended to increase awareness and to make individuals sensitive to the physical, economic, environmental, social and political events and changes. thus, with powerful tools of identifying and describing environmental issues, the individuals can obtain skills for devising methods and solving ...