Browsing by Subject "Truth Table Binary Relation"

Now showing items 1-2 of 2

    • ConProve: A conceptual prover system 

      Elloumi, Samir; Jaoua, Ali; Boulifa, Bilel; Saleh, Mohammad; Al Otaibi, Jameela ( IEEE , 2014 , Conference Paper)
      ConProve is an automated prover for propositional logic. It takes, as an input, a set of propositional formulas and proves whether a goal holds or not. ConProve converts each formula to its corresponding Truth Table Binary ...

    • Inference engine based on closure and join operators over Truth Table Binary Relations 

      Elloumi, Samir; Boulifa, Bilel; Jaoua, Ali; Saleh, Mohammad; Al Otaibi, Jameela; ... more authors ( Elsevier Inc. , 2014 , Article)
      Abstract We propose a conceptual reasoning method for an inference engine. Starting from a knowledge base made of decision rules, we first map each rule to its corresponding Truth Table Binary Relation (TTBR), considered ...