Search
Now showing items 1-7 of 7
ConProve: A conceptual prover system
(
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 ...
A novel approach for handedness detection from off-line handwriting using fuzzy conceptual reduction
(
Springer International Publishing
, 2016 , Article)
A challenging area of pattern recognition is the recognition of handwritten texts in different languages and the reduction of a volume of data to the greatest extent while preserving associations (or dependencies) between ...
Using conceptual reasoning for inconsistencies detection in islamic advisory opinion (Fatwas)
(
IEEE Computer Society
, 2016 , Conference Paper)
The Islamic websites play an important role in disseminating Islamic knowledge and information about Islamic ruling. Their number and the content they provide is continuously increasing which require in-depth investigations ...
An Integrated Framework For Verified And Fault Tolerant Software
(
Hamad bin Khalifa University Press (HBKU Press)
, 2014 , Conference Paper)
Fault tolerance techniques should let the program continue servicing in spite of the presence of errors. They are of primary importance mainly in case of mission-critical systems. Their eventual failure may produce important ...
A multi-level conceptual data reduction approach based on the Lukasiewicz implication
(
Elsevier Science Inc
, 2003 , Article)
Starting from fuzzy binary data represented as tables in the fuzzy relational database, in this paper, we use fuzzy formal concept analysis to reduce the tables size to only keep the minimal rows in each table, without ...
Inference engine based on closure and join operators over Truth Table Binary Relations
(
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 ...
Data Mining, Reasoning and Incremental Information Retrieval through Non Enlargeable Rectangular Relation Coverage
(
Springer Berlin / Heidelberg
, 2009 , Conference Paper)
Association rules extraction from a binary relation as well as reasoning and information retrieval are generally based on the initial representation of the binary relation as an adjacency matrix. This presents some ...