Results for:
"
Illative+case
" in Documents
- 1 Introduction An Illative Theory of Relations
- In a previous paper an intensional theory of relations was formulated [Plo90]. It was intended as a formalisation of some of the ideas of Situation Theory
-
Rating:
Views: (1011)
Pages: ()
Uploaded: 13-05-09
- 1 Introduction An Illative Theory of Relations
- In a previous paper an intensional theory of relations was formulated [Plo90]. It was intended as a formalisation of some of the ideas of Situation Theory
-
Rating:
Views: (1011)
Pages: ()
Uploaded: 13-05-09
- Systems of Illative Combinatory Logic complete for first-order proposi...
- Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. The paper considers ...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09
- An Improved Perceptron based Illative Network for the Fault Signal Dia...
- Abstract The faults signal diagnoses is one of the complex process for intelligent systems. Based on the principle of multi-layer neural network, this paper presents an improved algorithm with adapti...
-
Rating:
Views: (2001)
Pages: (0)
Uploaded: Publication Date: 18-20 Oct. 2008
- An Improved Perceptron based Illative Network for the Fault Signal Dia...
- Abstract The faults signal diagnoses is one of the complex process for intelligent systems. Based on the principle of multi-layer neural network, this paper presents an improved algorithm with adapti...
-
Rating:
Views: (2001)
Pages: (0)
Uploaded: Publication Date: 18-20 Oct. 2008
- Completeness of the Propositions-as-Types Interpretation of Intuitioni...
- Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. In a preceding paper...
-
Rating:
Views: (1008)
Pages: ()
Uploaded: 13-05-09
- Completeness of the Propositions-as-Types Interpretation of Intuitioni...
- Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. In a preceding paper...
-
Rating:
Views: (1010)
Pages: ()
Uploaded: 13-05-09
- Completeness of the Propositions-as-Types Interpretation of Intuitioni...
- Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. In a preceding paper...
-
Rating:
Views: (1009)
Pages: ()
Uploaded: 13-05-09