AbstractAn analogy calculus (LKA) is proposed in this paper. Some important theorems, such as cut-elimination, interpolation, are proved. The model semantics of LKA is also proposed. Based on LKA, analogy is defined as equivalence-provable in LKA from an analogy correspondence
In this paper, we outline a comprehensive approach to composed analogies based on the theory of conc...
Analogy reasoning is one of the most important reasoning means of human thinking. How to implement a...
Although argument by analogy is studied and featured in many computational models, less appreciated ...
AbstractAn analogy calculus (LKA) is proposed in this paper. Some important theorems, such as cut-el...
This paper presents a mathematical theory of analogy, which should be a basis in developing analogic...
Analogy is a mode of reasoning that is employed in problem solving, logic, science and art. The sche...
AbstractThis paper proposes an analogical type system based on MITT. First, we talk about intuitive ...
AbstractIn this paper, we advocate a study of analogies between strings of symbols for their own sak...
This paper examines the existing research concerning both formal and computational approaches to ana...
We present in this paper a formal theory of reasoning by analogy. We are mainly concerned with three...
In recent years several computational systems and techniques fortheorem proving by analogy have been...
We present a definition of analogy on sequences which is based on two principles : the definition of...
. Taking an extension of resolution as a base calculus (though the same principles are applicable t...
Analogical reasoning is carried out based on an analogy which gives a similarity between a base doma...
This case study examines in detail the theorems and proofs that are shownby analogy in a mathematica...
In this paper, we outline a comprehensive approach to composed analogies based on the theory of conc...
Analogy reasoning is one of the most important reasoning means of human thinking. How to implement a...
Although argument by analogy is studied and featured in many computational models, less appreciated ...
AbstractAn analogy calculus (LKA) is proposed in this paper. Some important theorems, such as cut-el...
This paper presents a mathematical theory of analogy, which should be a basis in developing analogic...
Analogy is a mode of reasoning that is employed in problem solving, logic, science and art. The sche...
AbstractThis paper proposes an analogical type system based on MITT. First, we talk about intuitive ...
AbstractIn this paper, we advocate a study of analogies between strings of symbols for their own sak...
This paper examines the existing research concerning both formal and computational approaches to ana...
We present in this paper a formal theory of reasoning by analogy. We are mainly concerned with three...
In recent years several computational systems and techniques fortheorem proving by analogy have been...
We present a definition of analogy on sequences which is based on two principles : the definition of...
. Taking an extension of resolution as a base calculus (though the same principles are applicable t...
Analogical reasoning is carried out based on an analogy which gives a similarity between a base doma...
This case study examines in detail the theorems and proofs that are shownby analogy in a mathematica...
In this paper, we outline a comprehensive approach to composed analogies based on the theory of conc...
Analogy reasoning is one of the most important reasoning means of human thinking. How to implement a...
Although argument by analogy is studied and featured in many computational models, less appreciated ...
DOI
Add to ORKG