Since no fusion theory neither rule fully satisfy all needed applications, the author proposes a Unification of Fusion Theories and a combination of fusion rules in solving problems/applications. For each particular application, one selects the most appropriate model, rule(s), and algorithm of implementation. We are working in the unification of the fusion theories and rules, which looks like a cooking recipe, better we'd say like a logical chart for a computer programmer, but we don't see another method to comprise/unify all things. The unification scenario presented herein, which is now in an incipient form, should periodically be updated incorporating new discoveries from the fusion and engineering research
The unification problem and several variants are presented. Various algorithms and data structures a...
SIGLEAvailable from TIB Hannover: RN 5063(92-06) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...
In this note we present the basic theory of substitutions and a unification algorithm expressed in a...
Abstract: Since no fusion theory neither rule fully satisfy all needed applications, the author pro...
In this short note we give a formula for the unification of a class of fusion rules based on the con...
Unification is a fundamental process upon which many methods for automated deduction are based. Uni...
In this monograph we study two generalizations of standard unification, E-unification and higher-ord...
Abstract: Unified field theory is the long-sought means of tying together all known phenomena to exp...
The purpose of this paper is not to give an overview of the state of art in unification theory. It i...
AbstractAn algorithm is presented for solving equations in a combination of arbitrary theories over ...
A critical question in unification theory is how to obtain a unification algorithm for the combinati...
AbstractMost knowledge based systems in artificial intelligence (AI), with a commitment to asymbolic...
Most of the work on the combination of unification algorithms for the union of disjoint equational t...
AbstractMost of the work on the combination of unification algorithms for the union of disjoint equa...
International audienceA novel approach is described for the combination of unification algorithms fo...
The unification problem and several variants are presented. Various algorithms and data structures a...
SIGLEAvailable from TIB Hannover: RN 5063(92-06) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...
In this note we present the basic theory of substitutions and a unification algorithm expressed in a...
Abstract: Since no fusion theory neither rule fully satisfy all needed applications, the author pro...
In this short note we give a formula for the unification of a class of fusion rules based on the con...
Unification is a fundamental process upon which many methods for automated deduction are based. Uni...
In this monograph we study two generalizations of standard unification, E-unification and higher-ord...
Abstract: Unified field theory is the long-sought means of tying together all known phenomena to exp...
The purpose of this paper is not to give an overview of the state of art in unification theory. It i...
AbstractAn algorithm is presented for solving equations in a combination of arbitrary theories over ...
A critical question in unification theory is how to obtain a unification algorithm for the combinati...
AbstractMost knowledge based systems in artificial intelligence (AI), with a commitment to asymbolic...
Most of the work on the combination of unification algorithms for the union of disjoint equational t...
AbstractMost of the work on the combination of unification algorithms for the union of disjoint equa...
International audienceA novel approach is described for the combination of unification algorithms fo...
The unification problem and several variants are presented. Various algorithms and data structures a...
SIGLEAvailable from TIB Hannover: RN 5063(92-06) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...
In this note we present the basic theory of substitutions and a unification algorithm expressed in a...