The unification problem and several variants are presented. Various algorithms and data structures are discussed. Research on unification arising in several areas of computer science is surveyed, these areas include theorem proving, logic programming, and natural language processing. Sections of the paper include examples that highlight particular use
AbstractWe define a general notion of (syntactic) unification, the (π→τ→ )-unification, whose specia...
AbstractExtended unification algorithms are considered for the integration of a functional language ...
In the study of language, the notion of agreement plays a central part. For example, in English a no...
Unification is a fundamental process upon which many methods for automated deduction are based. Uni...
AbstractThe deductive approach is a formal program construction method in which the derivation of a ...
During the last years unification theory has become an important subfield of automated reasoning and...
Unification procedures arising in methods for automated theorem proving based on matings are surveye...
AbstractMost knowledge based systems in artificial intelligence (AI), with a commitment to asymbolic...
In this note we present the basic theory of substitutions and a unification algorithm expressed in a...
In this monograph we study two generalizations of standard unification, E-unification and higher-ord...
209 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1993.Unification is central to aut...
This paper presents a method which allows standard data structure sharing techniques to be applied i...
The unification problem in algebras capable of describing sets has been tackled, directly or indirec...
AbstractAn algorithm that inverses a unification parser written in PROLOG into a generator for natur...
In this paper it is performed a thorough theoretical study of unification free logic programs, that ...
AbstractWe define a general notion of (syntactic) unification, the (π→τ→ )-unification, whose specia...
AbstractExtended unification algorithms are considered for the integration of a functional language ...
In the study of language, the notion of agreement plays a central part. For example, in English a no...
Unification is a fundamental process upon which many methods for automated deduction are based. Uni...
AbstractThe deductive approach is a formal program construction method in which the derivation of a ...
During the last years unification theory has become an important subfield of automated reasoning and...
Unification procedures arising in methods for automated theorem proving based on matings are surveye...
AbstractMost knowledge based systems in artificial intelligence (AI), with a commitment to asymbolic...
In this note we present the basic theory of substitutions and a unification algorithm expressed in a...
In this monograph we study two generalizations of standard unification, E-unification and higher-ord...
209 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1993.Unification is central to aut...
This paper presents a method which allows standard data structure sharing techniques to be applied i...
The unification problem in algebras capable of describing sets has been tackled, directly or indirec...
AbstractAn algorithm that inverses a unification parser written in PROLOG into a generator for natur...
In this paper it is performed a thorough theoretical study of unification free logic programs, that ...
AbstractWe define a general notion of (syntactic) unification, the (π→τ→ )-unification, whose specia...
AbstractExtended unification algorithms are considered for the integration of a functional language ...
In the study of language, the notion of agreement plays a central part. For example, in English a no...
DOI
Add to ORKG