Inference Techniques and Methods
This chapter is devoted to the study of inference techniques and methods which have specific potential for set-theoretic reasoning. Actually, the work we have carried out so far in designing axiomatic systems for set theories can be seen as preparation for the implementation of automated reasoning systems. The issues touched upon, and the contributions collected in this chapter are more specific—they relate to areas where sustained efforts have been made to develop techniques suitable for use in the set-theoretic framework.
KeywordsLogic Program Logic Programming Horn Clause Inference Technique Open Branch
Unable to display preview. Download preview PDF.