• On Symboloic Reasoning and Direct Inference Principle 

      Jaam, Jihad Mohamad ( 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 ...
    • On the Classical Multicolor Ramsey Number R(3,3,3) 

      Jaam, Jihad Mohamad; Hasanh, Ahmad Mojahed ( 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 ...
    • Qualitative Dealing with Quantified Assertions 

      Khayata, Mohamed Yasser [محمد ياسر خياطة]; Jaam, Jihad Mohamad; Garcia, Laurent; Pacholczyk, Daniel ( 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 ...