Search
Now showing items 1-2 of 2
On the Classical Multicolor Ramsey Number R(3,3,3)
(
Qatar University
, 2004 , Article)
In this paper, we are interested in the problem of evaluation of the classical multicolor Ramsey number i?(3,3,3). We first convert it successfully into a system of clauses of 3-literals each, i.e., a 3-SAT instance. We ...
On Symboloic Reasoning and Direct Inference Principle
(
Qatar University
, 2004 , Article)
This paper discusses an approach using the M-valued symbolic logic with syllogistic reasoning and direct inference principle (reasoning from statistical information to conclusions about individuals), to manipu¬late statistical ...