Results 261 to 270 of about 384,748 (295)
Some of the next articles are maybe not open access.
Synthese, 1999
Parmi les modeles d'explication pragmatiques et dynamiques, fondes sur les episodes question-reponse, l'A. distingue differents types d'explication: les explications de la question pourquoi?, les explications des evenements singuliers et les explications des lois.
openaire +1 more source
Parmi les modeles d'explication pragmatiques et dynamiques, fondes sur les episodes question-reponse, l'A. distingue differents types d'explication: les explications de la question pourquoi?, les explications des evenements singuliers et les explications des lois.
openaire +1 more source
Software Engineering Journal, 1988
Unification is an important concept. It is used in Prolog, resolution, term rewriting and natural language understanding. As the use of formal methods increases, unification will be part of formally developed systems. Hence a theory of unification is desirable. This paper demonstrates the use of VDM to develop a theory of unification.
openaire +1 more source
Unification is an important concept. It is used in Prolog, resolution, term rewriting and natural language understanding. As the use of formal methods increases, unification will be part of formally developed systems. Hence a theory of unification is desirable. This paper demonstrates the use of VDM to develop a theory of unification.
openaire +1 more source
2009
Several mechanisms such as Canonical Structures [14], Type Classes [13,16], or Pullbacks [10] have been recently introduced with the aim to improve the power and flexibility of the type inference algorithm for interactive theorem provers. We claim that all these mechanisms are particular instances of a simpler and more general technique, just ...
ASPERTI, ANDREA +3 more
openaire +1 more source
Several mechanisms such as Canonical Structures [14], Type Classes [13,16], or Pullbacks [10] have been recently introduced with the aim to improve the power and flexibility of the type inference algorithm for interactive theorem provers. We claim that all these mechanisms are particular instances of a simpler and more general technique, just ...
ASPERTI, ANDREA +3 more
openaire +1 more source
A Note on Unification, Subsumption and Unification Type
2019Various forms of subsumption preorders are used in the literature for comparing unifiers and general solutions of a unification problem for generality and for defining the unification type. This note presents some of them and discusses their pros and cons.
openaire +1 more source
Alternative Spirituality and Religion Review, 1995
The Holy Spirit Association for the Unification of World Christianity (HSA-UWC), founded in Seoul in 1954 by the Reverend Sun Myung Moon (1920–2012), has been more popularly known as the Unification Church (UC) or ‘the Moonies.’ Following revelations that he reports having received as a young man, Moon devoted his life to preaching and eventually ...
openaire +1 more source
The Holy Spirit Association for the Unification of World Christianity (HSA-UWC), founded in Seoul in 1954 by the Reverend Sun Myung Moon (1920–2012), has been more popularly known as the Unification Church (UC) or ‘the Moonies.’ Following revelations that he reports having received as a young man, Moon devoted his life to preaching and eventually ...
openaire +1 more source
Humanities and Unification Education for Unification
Public Policy Research Institute, Korea UniversityThis paper explores the essential meaning and direction of unification education aimed at achieving peaceful unification on the Korean Peninsula. The author argues that unification education should present a clear vision of peaceful unification and systematically teach it to students.
openaire +1 more source
1986
We are interested in first order unification problems and more specifically in the hierarchy of equational theories based on the cardinality of the set of most general unifiers.
Ronald V. Book, Jörg H. Siekmann
openaire +1 more source
We are interested in first order unification problems and more specifically in the hierarchy of equational theories based on the cardinality of the set of most general unifiers.
Ronald V. Book, Jörg H. Siekmann
openaire +1 more source
1992
The purpose of this paper is not to give an overview of the state of art in unification theory. It is intended to be a short introduction into the area of equational unification which should give the reader a feeling for what unification theory might be about.
openaire +1 more source
The purpose of this paper is not to give an overview of the state of art in unification theory. It is intended to be a short introduction into the area of equational unification which should give the reader a feeling for what unification theory might be about.
openaire +1 more source