Abstract: Since no fusion theory neither rule fully satisfy all needed applications, the author proposes an algorithm for the 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...
AbstractMost knowledge based systems in artificial intelligence (AI), with a commitment to asymbolic...
AbstractThe deductive approach is a formal program construction method in which the derivation of a ...
There are a number of approaches for eliminating intermediate data structures in functional programs...
Since no fusion theory neither rule fully satisfy all needed applications, the author proposes a Uni...
In this short note we give a formula for the unification of a class of fusion rules based on the con...
AbstractAn algorithm is presented for solving equations in a combination of arbitrary theories over ...
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...
A critical question in unification theory is how to obtain a unification algorithm for the combinati...
International audienceA novel approach is described for the combination of unification algorithms fo...
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...
The unification problem and several variants are presented. Various algorithms and data structures a...
The paper presents a nondeterministic algorithm for unifying pairs of terms in equational theories c...
The purpose of this paper is not to give an overview of the state of art in unification theory. It i...
AbstractMost knowledge based systems in artificial intelligence (AI), with a commitment to asymbolic...
AbstractThe deductive approach is a formal program construction method in which the derivation of a ...
There are a number of approaches for eliminating intermediate data structures in functional programs...
Since no fusion theory neither rule fully satisfy all needed applications, the author proposes a Uni...
In this short note we give a formula for the unification of a class of fusion rules based on the con...
AbstractAn algorithm is presented for solving equations in a combination of arbitrary theories over ...
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...
A critical question in unification theory is how to obtain a unification algorithm for the combinati...
International audienceA novel approach is described for the combination of unification algorithms fo...
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...
The unification problem and several variants are presented. Various algorithms and data structures a...
The paper presents a nondeterministic algorithm for unifying pairs of terms in equational theories c...
The purpose of this paper is not to give an overview of the state of art in unification theory. It i...
AbstractMost knowledge based systems in artificial intelligence (AI), with a commitment to asymbolic...
AbstractThe deductive approach is a formal program construction method in which the derivation of a ...
There are a number of approaches for eliminating intermediate data structures in functional programs...