Search
Now showing items 1-3 of 3
Qualitative Dealing with Quantified Assertions
(
Qatar University
, 2002 , Article)
In this paper we present a newapproach to a symbolic treatment ofquan-tified statements having the following form "Q A's are 5's", knowing that A and B are labels denoting sets,and Q is a linguistic quantifier interpreted ...
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 ...